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