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