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