I Προτασιακή Λογική. - 1 Παραγγελίες και δέντρα. - 2 Προτάσεις Συνδετικοί και Πίνακες Αλήθειας. - 3 Αναθέσεις και αποτιμήσεις αλήθειας. - 4 Αποδείξεις πίνακα στον προτασιακό λογισμό. - 5 Ορθότητα και πληρότητα των αποδεικτικών πινάκων. - 6 Εκπτώσεις από Υποστατικά και Συμπαγή. - 7 Αξιωματική προσέγγιση*. - 8 Ανάλυση. - 9 Ανάλυση βελτίωσης. - 10 προτάσεις κέρατος γραμμικής ανάλυσης και PROLOG. - II Κατηγορηματική λογική. - 1 κατηγορήματα και ποσοδείκτες. - 2 Η γλώσσα: όροι και τύποι. - 3 Σχηματισμός, δέντρα, δομές και λίστες. - 4 Σημασιολογία: Νόημα και αλήθεια. - 5 Ερμηνείες των προγραμμάτων PROLOG. - 6 Αποδείξεις: Πλήρης συστηματικός πίνακας. - 7 Ορθότητα και πληρότητα των δοκιμίων του πίνακα. - 8 Αξιωματική προσέγγιση*. - 9 Prenex κανονική μορφή και skolemization. - 10 Θεώρημα Herbrand. - 11 Ενοποίηση. - 12 Ο αλγόριθμος ενοποίησης. - 13 Ανάλυση. - 14 Ανάλυση βελτίωσης: γραμμική ανάλυση. - III ΠΡΌΛΟΓΟΣ. - 1 ανάλυση SLD. - 2 Υλοποιήσεις: Αναζήτηση και οπισθοδρόμηση. - 3 Έλεγχος της εφαρμογής: περικοπή. - 4 Όροι τερματισμού των προγραμμάτων PROLOG. - 5 Ισότητα. - 6 Άρνηση ως αποτυχία. - 7 Άρνηση και μη μονοτονική λογική. - 8 Υπολογισιμότητα και μη αποφασισιμότητα. - IV Τροπική Λογική. - 1 Δυνατότητα και αναγκαιότητα. Γνώση ή πεποίθηση. - 2 Πλαίσια και εξαναγκασμός. - 3 Modal Tableaux. - 4 Αρτιότητα και πληρότητα. - 5 Τροπικά αξιώματα και ειδικές σχέσεις προσβασιμότητας. - 6 Αξιωματική προσέγγιση*. - V Διαισθητική Λογική. - 1 Διαίσθηση και κονστρουκτιβισμός. - 2 Πλαίσια και εξαναγκασμός. - 3 Διαισθητικά Tableaux. - 4 Αρτιότητα και πληρότητα. - 5 Αποφασισιμότητα και μη αποφασισιμότητα. - 6 Συγκριτικός οδηγός. - VI Στοιχεία Θεωρίας Συνόλων. - 1 Μερικά βασικά αξιώματα της θεωρίας συνόλων. - 2 Άλγεβρα συνόλων Boole. - 3 Συναρτήσεις σχέσεων και το αξίωμα του συνόλου ισχύος. - 4 Οι φυσικοί αριθμοί, αριθμητική και άπειρο. - 5 Επιλογή αντικατάστασης καιFoundation. - 6 Θεωρία συνόλων Zermelo-Fraenkel στην κατηγορηματική λογική. - 7 Πληθικότητα: Πεπερασμένη και μετρήσιμη. - 8 τακτικοί αριθμοί. - 9 Τακτική αριθμητική και υπερπεπερασμένη επαγωγή. - 10 Επιλογή υπερπεπερασμένης αναδρομής και το ταξινομημένο σύμπαν. - 11 Καρδινάλιοι και Καρδινάλιοι Αριθμητική. - Παράρτημα Α: Ιστορική επισκόπηση. - 1 Λογισμός. - 2 Λογική. - 3 Το όνειρο του Λάιμπνιτς. - 4 Λογική του δέκατου ένατου αιώνα. - 5 Θεμέλια των μαθηματικών του δέκατου ένατου αιώνα. - 6 Θεμέλια των μαθηματικών του εικοστού αιώνα. - 7 Λογική των αρχών του εικοστού αιώνα. - 8 Αφαίρεση και υπολογισμός. - 9 Πρόσφατη αυτοματοποίηση της λογικής και της PROLOG. - 10 Το μέλλον. - Παράρτημα Β: Γενεαλογική βάση δεδομένων. - Ευρετήριο συμβόλων. - Ευρετήριο όρων. Γλώσσα: Αγγλικά