Μαθηματική λογική Υπότιτλος: Τυπικά συστήματα, τα θεωρήματα του Gödel, θεωρια αποδείξεων

1. ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ: Εισαγωγή
2. Η λογική των προτάσεων, προτασιακός λογισμός
3. Αποδεικτικό σύστημα
4. Πρωτοβάθμια κατηγορηματική Λογική
5. Σύστημα Hilbert
6. Υπολογισιμότητα, αναδρομικές συναρτήσεις
7. Τα Θεωρήματα μη πληρότητας του Gödel
8. Συστήματα Gentzen
9. Συστήματα Tableaux
10. Λάμβδα λογισμός και αποδείξεις, ισομoρφισμός Curry-Howard

 https://repository.kallipos.gr/bitstream/11419/2299/1/kallipos-logiki-2015-FINAL-KOY.pdf