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