Opis
Podręcznik składa się z dwóch części. Część pierwszą stanowią rozdziały 1 i 2 poświęcone wykładowi elementów rachunku zdań i rachunku predykatów. Druga część, tzn. rozdziały 3-9, poświęcona jest wykładowi tzw. naiwnej teorii mnogości, czyli teorii mnogości w ujęciu nieaksjomatycznym. Ostatni rozdział 10 prezentuje aksjomatyczne ujęcie teorii mnogości Zermela-Fraenkla. Książkę uzupełnia aneks zawierający uwagi historyczne o rozwoju logiki i teorii mnogości. Na końcu poszczególnych rozdziałów podano zadania mające pomóc w przyswojeniu studiowanego materiału.