I Satslogik. - 1 Order och träd. - 2 Propositioner, konnektiv och sanningstabeller. - 3 Sanningsuppdrag och värderingar. - 4 Tableau-bevis i satskalkyl. - 5 Soliditet och fullständighet av Tableau-bevis. - 6 Avdrag från lokaler och kompakthet. - 7 Ett axiomatiskt tillvägagångssätt*. - 8 Upplösning. - 9 Förfinande upplösning. - 10 Linjära upplösningsklausuler för horn och PROLOG. - II Predikatlogik. - 1 Predikat och kvantifierare. - 2 Språket: termer och formler. - 3 Formationsträd, strukturer och listor. - 4 Semantik: Mening och Sanning. - 5 Tolkningar av PROLOG-program. - 6 Bevis: Kompletta systematiska tablåer. - 7 Soliditet och fullständighet av Tableau-bevis. - 8 Ett axiomatiskt tillvägagångssätt*. - 9 Prenex: Normal form och skolemisering. - 10 Herbrands sats. - 11 Förening. - 12 Algoritmen för enhetlighet. - 13 Upplösning. - 14 Raffineringsupplösning: Linjär upplösning. - III PROLOG. - 1 SLD-upplösning. - 2 Implementeringar: Sökning och Backtracking. - 3 Kontroll av genomförandet: Klipp. - 4 Uppsägningsvillkor för PROLOG-program. - 5 Jämlikhet. - 6 Negation som misslyckande. - 7 Negation och icke-monoton logik. - 8 Beräkningsbarhet och oavgörbarhet. - IV Modal logik. - 1 Möjlighet och nödvändighet; Kunskap eller tro. - 2 ramar och forcering. - 3 Modala tablåer. - 4 Sundhet och fullständighet. - 5 Modala axiom och speciella tillgänglighetsrelationer. - 6 Ett axiomatiskt tillvägagångssätt*. - V Intuitionistisk logik. - 1 Intuitionism och konstruktivism. - 2 ramar och forcering. - 3 Intuitionistiska tablåer. - 4 Sundhet och fullständighet. - 5 Deciderbarhet och oavgörbarhet. - 6 En jämförande guide. - VI Mängdlärans grunder. - 1 Några grundläggande axiom inom mängdläran. - 2 Booles algebra av mängder. - 3 Relationer, funktioner och potensuppsättningsaxiomet. - 4 De naturliga talen, aritmetik och oändlighet. - 5 Val av ersättning och Foundation. - 6 Zermelo-Fraenkels mängdteori i predikatlogik. - 7 Kardinalitet: Ändlig och uppräknelig. - 8 ordningsnummer. - 9 Ordinal aritmetik och transfinit induktion. - 10 Val av transfinit rekursion och det rankade universumet. - 11 Kardinaler och Kardinalaritmetik. - Bilaga A: En historisk översikt. - 1 Kalkyl. - 2 Logik. - 3 Leibniz dröm. - 4 1800-talets logik. - 5 1800-talets grunder för matematik. - 6 1900-talets grunder för matematik. - 7 Det tidiga 1900-talets logik. - 8 Deduktion och beräkning. - 9 Nyligen genomförd automatisering av logik och PROLOG. - 10 Framtiden. - Bilaga B: En genealogisk databas. - Index över symboler. - Index över termer. Språk: Engelska