Математическая логика : Учебное пособие /
Ершов, Юрий Леонидович
Математическая логика : Учебное пособие / Ю.Л. Ершов и Е.А. Палютин. - 2-е изд., испр. и доп. - Москва : Наука. Гл. ред. физ.-мат. лит., 1987. - 336 с.
[ В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов ].
Математическая логика
Математическая логика : Учебное пособие / Ю.Л. Ершов и Е.А. Палютин. - 2-е изд., испр. и доп. - Москва : Наука. Гл. ред. физ.-мат. лит., 1987. - 336 с.
[ В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов ].
Математическая логика