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