Μάθημα : Μαθηματική Λογική (μεταπτυχιακό μάθημα Μ.Π. Θεωρητικών Μαθηματικών και μεταπτυχιακό μάθημα Μ.Π. Εφαρμοσμένων Μαθηματικών του Τμήματος Μαθηματικών) και Λογική (μεταπτυχιακό μάθημα Μ.Π. Α.Λ.Μ.Α.)
Κωδικός : MATH348
Μάθημα 21 (12.05.)
Άσκηση 2. [End. 3.2]
Παρουσίαση τοπολογικών αποδείξεων των Θεωρημάτων Συμπάγειας για την Προτασιακή και την Πρωτοτάξια Λογική
Σχόλια (0)