Książka  zawiera uzupełniony materiał trzyletniego kursu logiki i teorii mnogości dla studentów filozofii teoretycznej na Katolickim Uniwersytecie Lubelskim, obejmującego na I roku studiów wiadomości o rachunkach logicznych (= Część I), na II roku wiadomości z teorii mnogości (= Część II), na III roku wiadomości z teorii systemów dedukcyjnych (= Część III bez rozdziału V). Rozdział V części III zawiera wiadomości dotyczące pojęcia obliczalności, metod logicznych Gentzena i Betha oraz aksjomatycznej metody odrzucania. Wiadomości te wykraczają poza materiał kursowy i mogą być przedmiotem wykładów monograficznych.