Frage zu Artikel "A Logical Introduction to Proof"