1 Wprowadzenie. - 2 Eliminacje matematyczne. - 2. 1 Zestawy i relacje. - 2. 2 Funkcje i policzalność. - 2. 3 pozy i lemat Zorna. - 2. 4 drzewa. - 2. 5 Indukcja matematyczna. - 3 Składnia języków pierwszego rzędu. - 3. 1 Języki pierwszego rzędu. - 3. 2 Indukcja nad terminami i formułami. - 3. 3 zmienne wolne i powiązane. - 3. 4 Zmiany. - 4 Semantyka języków pierwszego rzędu. - 4. 1 Struktury i interpretacje. - 4. 2 Lemat substytucji. - 5 Rachunek Gentzena G. - 5. 1 Rachunek różniczkowy G. - 5. 2 Zupełność G. - 6 Formy normalne i twierdzenie Herbranda. - 6. 1 Formy normalne. - 6. 2 Zaostrzony Hauptsatz Genchena. - 6. 3 Skolemizacja i twierdzenie Herbranda. - 7 Uchwała i unifikacja. - 7. 1 Rezolucja naziemna. - 7. 2 Zjednoczenie. - 7. 3 Ulepszanie algorytmów unifikacji. - 7. 4 Rezolucja i subsumpcja. - 7. 5 Strategie uczciwego wyprowadzania skutków. - 8 Poprawa efektywności odliczeń. - 8. 1 Opóźnianie zjednoczenia. - 8. Rozdzielczość 2 jednostek. - 8. 3 Rozdzielczość wejściowa. - 8. 4 Rozdzielczość liniowa. - 8. 5 Hiperrozdzielczość. - 8. 6 Rozdzielczość semantyczna i strategia zestawu wsparcia. - 8. 7 Koncepcje wyboru i zamawiania. - 8. 8 Pojęcie redundancji. - 9 Rozdzielczość w logice sortowanej. - 9. 1 Wprowadzenie. - 9. 2 Składnia i semantyka elementarnej logiki sortowanej. - 9. 3 Relatywizacja. - 9. 4 Posortowana logika z deklaracjami terminów. - 9. 5 Ujednolicenie i rozstrzygnięcie w posortowanych podpisach. - 9. 6 Złożoność uporządkowanej unifikacji. -Odwołania. Język: angielski