Математическая логика, Ю.Ершов, Е.Палютин, В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств...(439)