Е80 Ершов, Юрий Леонидович. Математическая логика [] : учеб. пособие для студентов мат. специальностей высш. учеб. заведений / Ю. Л. Ершов, Е. А. Палютин ; [ред. В. В. Донченко]. - 2-е изд., испр. и доп. - М. : Наука, Гл. ред. физ.-мат. лит., 1987. - 236 с. - Предм. указ.: с. 335-336. - 0.95 р.
Рубрики: Математична логіка--Навчальні видання для вищої школи фывфывфыв: исчисление высказываний -- числення висловів -- теория множеств -- теорія множин -- исчисление предикатов -- числення предикатів -- теория моделей -- теорія моделей -- теория доказательств -- теорія доказів -- алгоритмы -- алгоритми -- рекурсивные функции -- рекурсивні функкції Аннотация: В книге изложены основные классические исчисления математической логики. Держатели документа: ЖОУНБ ім. О. Ольжича Доп.точки доступа: Палютин, Евгений Андреевич; Донченко, В. В. \ред.\ Экземпляры всего: 1 ЧЗ (1) Свободны: ЧЗ (1) |