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

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