Математическая логика. Лекции для студентов-математиков НГУ
Ершов Ю.Л., Палютин Е.А., Тайцлин М.А.
Новосибирск, Новосибирский государственный университет, 1973, 160 с.Книга представляет собою учебник, содержащий весь обязательный материал по разделам: исчисление высказываний, теория множеств, теория моделей, исчисление предикатов.