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