Książka jest obszernym podręcznikiem klasycznego rachunku kwantyfikatorów.
Zadaniem tej książki jest zwięzłe przedstawienie najważniejszych wyników klasycznego, tzn. dwuwartościowego, funkcjonalnie pełnego rachunku zdań. Ubocznym tego efektem jest jednoczesna prezentacja dość ogólnych metod, które do wyników tych prowadzą, oraz charakterystyka aparatury pojęciowej, za
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
