PL
ZBIORY UPORZĄDKOWANE
§ 1. Relacje porządkujące
§ 2. Ogólne własności zbiorów uporządkowanych
§ 3. Typy ω, η, λ
§ 4. Arytmetyka typów porządkowych
§ 5. Uogólnione sumy zbiorów uporządkowanych i typów porządkowych
§ 6. Uporządkowanie leksykograficzne
§ 7. Zbiory częściowo uporządkowane. Struktury
§ 8. Teoria reprezentacji struktur rozdzielnych
§ 9. Równoważności. Klasy abstrakcji