Περιέχει:
Εισαγωγικές Εννοείς, Προτασιακή Λογική, Αποδεικτικά Συστήματα Προτασιακής Λογικής, Κατηγορηματική Πρωτοβάθμια Λογική, Πρωτοβάθμιες Θεωρίες, Bιβλιογραφία, Ευρετήριο.
Ο Αθανάσιος Ι. Μάργαρης έλαβε το Πτυχίο του Τμήματος Φυσικής του ΑΠΘ το 1992, το Μεταπτυχιακό Τίτλο Σπουδών MSc in Computer Science από το Computer Science Department του Πανεπιστημίου του Sheffield το 1995 και το Διδακτορικό Τίτλο Σπουδών από το Τμήμα Εφαρμοσμένης Πληροφορικής του Πανεπιστημίου Μακεδονίας το 2003. Το αντικείμενο της διδακτορικής του διατριβής ήταν η μελέτη χαοτικών εκλυστών και μη γραμμικών συστημάτων με τη βοήθεια νευρωνικών δικτύων. Τα τελευταία 10 χρόνια εργάζεται ως Επιστημονικός Συνεργάτης και Λέκτορας Π.Δ. 407 σε Τεχνολογικά και Ανώτατα Εκπαιδευτικά Ιδρύματα διδάσκοντας μαθήματα Φυσικής, Εφαρμοσμένων Μαθηματικών και Πληροφορικής. Τα ερευνητικά του ενδιαφέροντα εντοπίζονται στο χώρο της μαθηματικής φυσικής, της ψηφιακής επεξεργασίας σήματος και των νευρωνικών δικτύων. Έχει δημοσιεύσει πάνω από 40 εργασίες σε επιστημονικά περιοδικά και πρακτικά ελληνικών και ξένων συνεδρίων. Έχει συγγράψει 4 βιβλία πάνω στο χώρο της πληροφορικής και των εφαρμοσμένων μαθηματικών και μεταφράσει άλλα 6 σε συναφή αντικείμενα απο την αγγλική στην ελληνική γλώσσα. Την τρέχουσα χρονική περίοδο εργάζεται ως Επιστημονικός / Εργαστηριακός Συνεργάτης στα Τμήματα Τεχνολογίας Πληροφορικής και Τηλεπικοινωνιών και Πολιτικών Δομικών Έργων του ΤΕΙ Λάρισας.
