Frage zu Artikel "Discrete Structures, Logic, and Computability"