ROZDZIAŁ I. WIADOMOŚCI WSTĘPNE ROZDZIAŁ II. RACHUNEK ZDAŃ ROZDZIAŁ III. KWANTYFIKATORY
CZĘŚĆ II
ROZDZIAŁ IV. ALGEBRA ZBIORÓW I RELACJI ROZDZIAŁ V. RÓWNOŚĆ ROZDZIAŁ VI. TEORIA RELACJI ROZDZIAŁ VII. LICZBY NATURALNE. IZOMORFIZM ROZDZIAŁ VIII. TEORIA TYPÓW LOGICZNYCH
CZĘŚĆ III
ROZDZIAŁ IX. SFORMALIZOWANE TEORIE MATEMATYCZNE ROZDZIAŁ X. DEFINICJE ROZDZIAŁ XI. ZAGADNIENIA METODOLOGICZNE ROZDZIAŁ XII. O META-MATEMATYCE ROZDZIAŁ XIII. ZAGADNIENIA PEŁNOŚCI REGUŁ WNIOSKOWANIA ROZDZIAŁ XIV. TWIERDZENIE GDLA