Podstawy logiki i teorii mnogości

Podręcznik akademicki zawierający wykład podstawowych zagadnień logiki matematycznej i teorii mnogości, przeznaczony przede wszystkim dla studentów informatyki studiów zaocznych. Pierwsza część omawia rachunek zdań i rachunek predykatów, funkcje logiczne oraz aksjomatyczne ujęcie logiki klasycznej. Druga część przedstawia elementy nieaksjomatycznej, tak zwanej naiwnej teorii mnogości: algebrę zbiorów, relacje, funkcje i teorię mocy. Książkę uzupełnia dodatek z uwagami historycznymi o rozwoju logiki formalnej i teorii mnogości.