Μάθημα : Μαθηματική Λογική (μεταπτυχιακό μάθημα Μ.Π. Θεωρητικών Μαθηματικών και μεταπτυχιακό μάθημα Μ.Π. Εφαρμοσμένων Μαθηματικών του Τμήματος Μαθηματικών) και Λογική (μεταπτυχιακό μάθημα Μ.Π. Α.Λ.Μ.Α.)
Κωδικός : MATH348
Μάθημα 12 (Τετάρτη, 25.04.)
Θεωρίες · Θεωρήματα 26G, 26H · Πόρισμα 26I · Έλεγχος Łos-Vaught (1954) · Θεώρημα 26J [End. 2.6]
Σχόλια (0)