Podstawy logiki i teorii mnogości

Podręcznik skierowany jest do studentów informatyki. Składa się z 9 rozdziałów: 1-4 - wykład logiki matematycznej; 5-9 - podstawy teorii mnogości w ujęciu nieaksjomatycznym.

W rozdz. 1 przedstawione są elementy klasycznego rachunku zdań, zaś w rozdz. 2 omówiono funkcje logiczne. W kolejnych rozdziałach rozważane są: elementy rachunku predykatów, podstawowe pojęcia teorii mnogości, w tym działania na zbiorach i algebrze Boole'a oraz relacje i ich własności. Podstawowe własności funkcji i operacje na funkcjach omówione są w rozdz. 7-8. Rozdz. 9 zawiera podstawy teorii mocy zbiorów i liczb kardynalnych.

Książkę zaopatrzono w Dodatek zbierający ciekawe uwagi dotyczące historii logiki i teorii mnogości. Autorzy zamieszczają interesujące informacje o dorobku logików polskich i ich wkładzie w rozwój teorii mnogości.