Αναζήτηση στην ηλεκτρονική βιβλιοθήκη AMELib
-
Εφαρμογές της λογικής στην πληροφορική - Αθήνα: Σύνδεσμος Ελληνικών Ακαδημαϊκών Βιβλιοθηκών, 2015
Συγγραφέας: Στεφανέας, Πέτρος, Κολέτσος, Γεώργιος -
Μαθηματική λογική : Τυπικά συστήματα, τα θεωρήματα του Gödel, θεωρία αποδείξεων - Αθήνα: Σύνδεσμος Ελληνικών Ακαδημαϊκών Βιβλιοθηκών, 2015
Συγγραφέας: Κολέτσος, Γεώργιος