PL
ROZDZIAŁ IV. ALGEBRA ZBIORÓW I RELACJI
§ 1. Zbiory i relacje
§ 2. Funkcje zdaniowe a zbiory i relacje. Symbol abstrakcji
§ 3. Inkluzja, równość zakresowa. Działania na zbiorach i relacjach
§ 4. Związek miedzy rachunkiem zbiorów i relacji a rachunkiem zdań
§ 5. Algebra Boole'a
ROZDZIAŁ V. RÓWNOŚĆ
§ 1. Definicja równości
§ 2. Równość zbiorów i relacji. Pewnik ekstensjonalności
§ 3. Eliminacja symbolów abstrakcji
ROZDZIAŁ VI. TEORIA RELACJI
§ 1. Relacja odwrotna
§ 2. Iloczyn względny
§ 3. Sylogistyka Arystotelesa
§ 4. Dziedzina i przeciwdziedzina. Relacje ograniczone. Obrazy
§ 5. Relacje zwrotne, symetryczne, przechodnie oraz pokrewne typy relacji
§ 6. Równoważności
§ 7. Relacje spójne, porządkujace i porządki częściowe
§ 8. Relacje jednoznaczne, odwrotnie jednoznaczne i doskonałe
§ 9. Relacje wieloczłonowe. Działania
§ 10. Dodatek. Dowód worów (46-1), (46-2), (46-3)
ROZDZIAŁ VII. LICZBY NATURALNE. IZOMORFIZM
§ 1. Równoliczność zbiorów
§ 2. Liczby kardynalne
§ 3. Czym są liczby naturalne?
§ 4. Zero i następnik
§ 5. Liczby naturalne. Pewnik nieskończoności
§ 6. Definicje indykcyjne
§ 7. Izomorfizm relacji. Liczby relatywne. Homomorfizm
§ 8.Zasadnicze twierdzenie o izomorfizmie
ROZDZIAŁ VIII. TEORIA TYPÓW LOGICZNYCH
§ 1. Systematyka typów logicznych
§ 2. Antynomie
§ 3. Prosta teoria typów