Μάθημα : Μαθηματική Λογική (μεταπτυχιακό μάθημα Μ.Π. Θεωρητικών Μαθηματικών και μεταπτυχιακό μάθημα Μ.Π. Εφαρμοσμένων Μαθηματικών του Τμήματος Μαθηματικών) και Λογική (μεταπτυχιακό μάθημα Μ.Π. Α.Λ.Μ.Α.)
Κωδικός : MATH348
Μάθημα 15 (05.04.)
Παρασκευή 21 Απριλίου 2017 - 8:20 μ.μ. - από τον χρήστη
Μέγεθος Μοντέλων· Θεώρημα των Löwenheim-Skolem (1915)· Θεωρίες· Θεώρημα 26H· Έλεγχος Los-Vaught (1954)· Θεώρημα 26J [End. 2.6]
0 
0
Σχόλια (0)