Στοιχεία μαθηματικής λογικής - Τζουβάρας, ΑΘανάσιος. (Θεσσαλονίκη : Εκδόσεις Ζήτη, 1998)
Περιέχει βιβλιογραφικές αναφορές και ευρετήριο.
Keywords: Λογική, Συμβολική και μαθηματική.; Turing machines; Συναρτήσεις.; Λογισμός.