Książka jest wyjątkowo obszernym podręcznikiem logiki matematycznej, której autor jest znanym autorytetem w tej dziedzinie matematyki. Treść składa się z następujących rozdziałów:
- Logiczna analiza podstaw matematyki
- Klasyczny rachunek logiczny
- Modele teorii aksjomatycznych
- Logiczna klasyfikacja pojęć
- Zarys historyczny