Μάθημα : Μαθηματική Λογική
Κωδικός : MATH768
Ύλη μαθήματος για το ακαδημαϊκό έτος 2024-25
1) Από το βιβλίο των Leary/Kristiansen A Friendly Introduction to Mathematical Logic: Ch. 1,2,3
2) Από το βιβλίο του Enderton: Μία Μαθηματική Εισαγωγή στην Λογική: Κ. 2, 3.1 (έως σελ 217), 3.2 (μόνο πόρισμα 32D,G), 3.3 (μόνο σύνολο αξιωμάτων σελ. 232)
3) Από Σημειώσεις Δημητρακόπουλου: Κ. 3, 4.2