Fundamental Scientific Library of NAS RA

Математическая логика : Учебное пособие /

Ершов, Юрий Леонидович

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

[ В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов ].


Математическая логика


ՀՀ ԳԱԱ հիմնարար գիտական գրադարան
ՀՀ,Երևան 0019
Մարշալ Բաղրամյան 24/6
հեռախոս:(374-10) 52-47-50
Հետադարձ կապ

All site content, except where otherwise noted, is licensed under a
Creative Commons License