![Στοιχεία μαθηματικής λογικής - Εκδόσεις Ζήτη](https://ziti.gr/wp-content/uploads/2020/01/tzoyvaras-athanasios-stoixeia-mathimatikis-logikis.jpg)
Προτασιακός Λογισμός – Πρωτοβάθμιος Kατηγορηματικός Λογισμός – Θεωρίες και μοντέλα – Aλγοριθμικές συναρτήσεις και μη πληρότητα – Θεωρία συνόλων.
Προτασιακός Λογισμός – Πρωτοβάθμιος Kατηγορηματικός Λογισμός – Θεωρίες και μοντέλα – Aλγοριθμικές συναρτήσεις και μη πληρότητα – Θεωρία συνόλων.