Μάθημα : Μαθηματική Λογική (μεταπτυχιακό μάθημα Μ.Π. Θεωρητικών Μαθηματικών και μεταπτυχιακό μάθημα Μ.Π. Εφαρμοσμένων Μαθηματικών του Τμήματος Μαθηματικών) και Λογική (μεταπτυχιακό μάθημα Μ.Π. Α.Λ.Μ.Α.)
Κωδικός : MATH348
ΑΕ 2019-2020 Μάθημα 17 (Τετάρτη 4.12.)
Πέμπτη 12 Δεκεμβρίου 2019 - 12:52 μ.μ. - από τον χρήστη
Θεώρημα της αξιοπιστίας και θεώρημα της πληρότητας [End. 2.5]
Μοντέλα θεωριών [End. 2.6]
0 
0
Σχόλια (0)