К60 Колмогоров, Андрей Николаевич. Математическая логика. Дополнительные главы [] : учеб. пособие для студентов вузов, обучающихся по специальности "Математика" / А. Н. Колмогоров, А. Г. Драгалин. - М. : Изд-во Моск. ун-та, 1984. - 120 с. - Лит.: с. 119. - 0.25 р.
Рубрики: Матемиатична логіка--Навчальні видання для вищої школи Кл.слова (ненормовані): аксиоматическая теория множеств -- аксіоматична теорія множин -- теория алгоритмов -- теорія алгоритмів -- теория предикатов -- теорія предикатів -- теория доказательств -- теорія доказів -- теорема Геделя -- программа Гильберта -- програма Гільберта Анотація: В данном издании излагаются фундаментальные факты математической логики. Утримувачі документа: ЖОУНБ ім. О. Ольжича Дод.точки доступу: Драгалин, Альберт Григорьевич Примірників всього: 1 ЧЗ (1) Свободны: ЧЗ (1) |