Książka jest obszernym podręcznikiem uniwersyteckiego kursu logiki matematycznej.
Książka przedstawia zagadnienia związane z zastosowaniem algebr Boole'a.
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
Książka zawiera wybrane zagadnienia z logiki matematycznej i teorii mnogości.
