ВУЗ:
Составители:
Рубрика:
* * *
Список рекомендуемой литературы
Гладкий А.В. Математическая логика. М.: Рос.гос.гум.ун-т, 1998.
Ершов Ю.Л., Палютин Е.А. Математическая логика. М.: Наука, 1979.
Клини С.К. Математическая логика. М.: Мир, 1973.
Колмогоров А.Н., Драгалин А.Г. Введение в математическую логику.
М.: МГУ, 1982.
Мендельсон Э. Введение в математическую логику. М.: Наука, 1976.
Новиков П.С. Элементы математической логики. М.: Наука, 1973.
Гиндикин С.Г. Алгебра логики в задачах. М.: Наука, 1972.
Игошин В.И. Задачник-практикум по математической логики. М.: Про-
свещение, 1986.
Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математи-
ческой логике и теории алгоритмов. М.: Наука, 1984.
19
