Ακαδημαϊκά συγγράμματα “Μαθηματική Λογική” – Τυπικά συστήματα, τα Θεωρήματα του Gödel, Θεωρία Αποδείξεων Τίτλος: “Μαθηματική Λογική” – Τυπικά συστήματα, τα Θεωρήματα του Gödel, Θεωρία…