Μαθηματική Λογική (μεταπτυχιακό μάθημα Μ.Π. Θεωρητικών Μαθηματικών και μεταπτυχιακό μάθημα Μ.Π. Εφαρμοσμένων Μαθηματικών του Τμήματος Μαθηματικών) και Λογική (μεταπτυχιακό μάθημα Μ.Π. Α.Λ.Μ.Α.)

Σύντομη ανασκόπηση Προτασιακής Λογικής. Πρωτοτάξια Λογική. Αλήθεια και μοντέλα. Τυπικές αποδείξεις (συναγωγές). Θεώρημα αξιοπιστίας και πληρότητας. Ερμηνείες (στοιχειώδης θεωρία μοντέλων). Μη συμβατική ανάλυση. Μη-διαγνωσιμότητα και μη πληρότητα. Αναδρομικές συναρτήσεις. Αριθμητικοποίηση σύνταξης. Θεωρία αριθμών. Πρώτο και δεύτερο θεώρημα μη πληρότητας.

• Μια μαθηματική εισαγωγή στην Λογική, Herbert B. Enderton, Πανεπιστημιακές Εκδόσεις Κρήτης
• Σημειώσεις Μαθηματικής Λογικής, Κώστας Ι. Δημητρακόπουλος

• Μαθηματική Λογική, Κώστας Ι. Δημητρακόπουλος, Ε.Α.Π.
• Μαθηματική Λογική: Θεωρία και πράξη, Γιώργος Τουρλάκης,Πανεπιστημιακές Εκδόσεις Κρήτης
• Introduction to Mathematical Logic, Elliott Mendelson, Chapman & Hall