An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof, 2nd ed.
Μια Εισαγωγή στη Μαθηματική Λογική και τη Θεωρία Τύπων: Στην Αλήθεια μέσω της Απόδειξης, 2η έκδοση..