Text this: Βασικές έννοιες από τη Θεωρία Συνόλων και τον Προτασιακό Λογισμό