Kolekcja Matematyczna

CZĘŚĆ I	1. Wiadomości wstępne 2. Rachunek zdań 3. Kwantyfikatory
CZĘŚĆ II	4. Algebra zbiorów i relacji 5. Równość 6. Teoria relacji 7. Liczby naturalne. Izomorfizm 8. Teoria typów logicznych
CZĘŚĆ III	9. Sformalizowane teorie matematyczne 10. Definicje 11. Zagadnienia metodologiczne 12. O meta-matematyce 13. Zagadnienia pełności reguł wnioskowania 14. Twierdzenie Gödla
Materiały redakcyjne		Przedmowa, errata, skorowidz znaków, skorowidz nazw, skorowidz nazwisk, spis rzeczy

Tom 18