Μάιος 2013 | |
Μάθημα 18ο (Διάρκεια: 2:00 ώρες) Πέμπτη, 16 Μαΐου 2013 - 11:00 π.μ. Θέση του Church Θεώρημα 33I (Απόδειξη καλά) Αριθμητικοποίηση Σύνταξης
(Enderton: Κεφάλαιο 3, σελ.210-212 & 224-225) |
Μάιος 2013 | |
Μάθημα 18ο (Διάρκεια: 2:00 ώρες) Πέμπτη, 16 Μαΐου 2013 - 11:00 π.μ. Θέση του Church Θεώρημα 33I (Απόδειξη καλά) Αριθμητικοποίηση Σύνταξης
(Enderton: Κεφάλαιο 3, σελ.210-212 & 224-225) |