Στοιχεία Μαθηματικής Λογικής: Εισαγωγή - Λογικές πράξεις & τελεστές. Προτασιακός λογισμός - Κατηγορήματα & Ποσοδείκτες - Μέθοδοι απόδειξης.
Αναφορά Δημιουργού - Παρόμοια Διανομή CC BY-SA