Περιέχει: Εισαγωγικές Εννοείς, Προτασιακή Λογική, Αποδεικτικά Συστήματα Προτασιακής Λογικής, Κατηγορηματική Πρωτοβάθμια Λογική, Πρωτοβάθμιες Θεωρίες, Bιβλιογραφία, Ευρετήριο.
Περιέχει: Εισαγωγικές Εννοείς, Προτασιακή Λογική, Αποδεικτικά Συστήματα Προτασιακής Λογικής, Κατηγορηματική Πρωτοβάθμια Λογική, Πρωτοβάθμιες Θεωρίες, Bιβλιογραφία, Ευρετήριο.