1 Bevezetés. - 2 Matematikai előkészületek. - 2. 1 Halmazok és kapcsolatok. - 2. 2 Funkciók és megszámlálhatóság. - 2. 3 Posets és Zorn lemmája. - 2. 4 Fa. - 2. 5 Matematikai indukció. - 3 Az elsőrendű nyelvek szintaxisa. - 3. 1 Elsőrendű nyelvek. - 3. 2 Indukció a kifejezések és képletek felett. - 3. 3 szabad és kötött változó. - 3. 4 Cserék. - 4 Az elsőrendű nyelvek szemantikája. - 4. 1 Struktúrák és értelmezések. - 4. 2 A helyettesítési lemma. - 5 A gentzen számítás G. - 5. 1 A számítás G. - 5. 2 A G. teljessége - 6 normálalak és Herbrand-tétel. - 6. 1 Normál formák. - 6. 2 Gentzen kihegyezett hauptsatzja. - 6. 3 Skolemizáció és Herbrand-tétel. - 7 Felbontás és egységesítés. - 7. 1 Földi felbontás. - 7. 2 Egyesülés. - 7. 3 Az egyesítési algoritmusok fejlesztése. - 7. 4 Felbontás és szubsumpció. - 7. 5 tisztességes származtatási stratégia. - 8 A levonási hatékonyság javítása. - 8. 1 Az egyesülés késleltetése. - 8. 2 Egység felbontása. - 8. 3 Bemeneti felbontás. - 8. 4 Lineáris felbontás. - 8. 5 Hiperfelbontás. - 8. 6 Szemantikai felbontás és a támogatási stratégia. - 8. 7 Kiválasztási és rendezési koncepciók. - 8. 8 A redundancia fogalma. - 9 Megoldás rendezett logikában. - 9. 1 Bevezetés. - 9. 2 Az elemi rendezett logika szintaxisa és szemantikája. - 9. 3 Relativizáció. - 9. 4 Rendezett logika kifejezésdeklarációkkal. - 9. 5 Egységesítés és felbontás rendezett aláírásokban. - 9. 6 A rendezett egyesítés összetettsége. -Hivatkozások. Nyelv: angol