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