Ανοικτά Ακαδημαϊκά Μαθήματα ΕΚΠΑ | Μαθηματική Λογική | Ετικέτα: εγκυρότητα κατηγορηματικού λογισμού