I Propozíciós logika. - 1 Rendek és fák. - 2 Állítások: Kötőjelek és igazságtáblák. - 3 Igazság hozzárendelések és értékelések. - 4 Tabló bizonyítás a propozíciós számításban. - 5 A tabló bizonyítások megalapozottsága és teljessége. - 6 Levonások a helyiségekből és a tömörségből. - 7 Axiomatikus megközelítés*. - 8 Felbontás. - 9 Finomító felbontás. - 10 Lineáris felbontású kürt záradékok és PROLOG. - II állítmánylogika. - 1 Állítmányok és kvantorok. - 2 A nyelv: kifejezések és képletek. - 3 Formációs fák szerkezetei és listái. - 4 Szemantika: jelentés és igazság. - 5 A PROLOG programok értelmezése. - 6 Bizonyítékok: Teljes szisztematikus tablók. - 7 A tabló bizonyítások megalapozottsága és teljessége. - 8 Axiomatikus megközelítés*. - 9 Prenex normál forma és skolemizáció. - 10 Herbrand-tétel. - 11 Egyesítés. - 12 Az egyesítő algoritmus. - 13 Felbontás. - 14 Finomító felbontás: Lineáris felbontás. - III. PROLOG. - 1 SLD-felbontás. - 2 Megvalósítások: Keresés és visszalépés. - 3 A megvalósítás ellenőrzése: Vágás. - 4 A PROLOG programok megszüntetési feltételei. - 5 Egyenlőség. - 6 A tagadás mint kudarc. - 7 Tagadás és nem monoton logika. - 8 Számíthatóság és eldönthetetlenség. - IV. modális logika. - 1 Lehetőség és szükségszerűség; Tudás vagy hit. - 2 Keretek és kényszerítés. - 3 modális tabló. - 4 Megalapozottság és teljesség. - 5 Modális axiómák és speciális akadálymentesítési kapcsolatok. - 6 Axiomatikus megközelítés*. - V Intuíciós logika. - 1 Intuíció és konstruktivizmus. - 2 Keretek és kényszerítés. - 3 Intuíciós tablók. - 4 Megalapozottság és teljesség. - 5 Eldönthetőség és eldönthetetlenség. - 6 Összehasonlító útmutató. - VI A halmazelmélet elemei. - 1 A halmazelmélet néhány alapvető axiómája. - 2 Boole halmazalgebra. - 3 Relációs függvények és a hatványhalmaz axióma. - 4 A természetes számok aritmetika és végtelen. - 5 Csereválasztás és Alapítvány. - 6 Zermelo-Fraenkel halmazelmélet az állítmánylogikában. - 7 Kardinalitás: véges és megszámlálható. - 8 sorszám. - 9 Sorszámtani és transzfinit indukció. - 10 Transzfinit rekurziós választás és a rangsorolt univerzum. - 11 Bíborosok és bíboros aritmetika. - A függelék: Történelmi áttekintés. - 1 Számítás. - 2 Logika. - 3 Leibniz álma. - 4 Tizenkilencedik századi logika. - 5 A matematika tizenkilencedik századi alapjai. - 6 A matematika huszadik századi alapjai. - 7 A huszadik század eleji logika. - 8 Levezetés és számítás. - 9 A logika és a PROLOG közelmúltbeli automatizálása. - 10 A jövő. - B függelék: Genealógiai adatbázis. - Szimbólumok indexe. - Kifejezések indexe. Nyelv: angol