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