Προτασιακός Λογισμός – Πρωτοβάθμιος Kατηγορηματικός Λογισμός – Θεωρίες και μοντέλα – Aλγοριθμικές συναρτήσεις και μη πληρότητα – Θεωρία συνόλων.
Προτασιακός Λογισμός – Πρωτοβάθμιος Kατηγορηματικός Λογισμός – Θεωρίες και μοντέλα – Aλγοριθμικές συναρτήσεις και μη πληρότητα – Θεωρία συνόλων.