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