Вид документа : Однотомное издание Шифр издания : 510/Ш 47 Автор(ы) : Шенфилд Д. Заглавие : Математическая логика : научное издание Выходные данные : М.: Наука, 1975 Колич.характеристики :528 с. ; 20 см Серия: Математическая логика и основания математики Цена : 2.16 р. ГРНТИ : 27.03 УДК : 510.6 Предметные рубрики: Математика-- Математическая логика Ключевые слова (''Своб.индексиров.''): теория рекурсии--теория первого порядка--теория моделей--натуральные числа--теория множеств Аннотация: В этой книге значительно расширен курс математической логики, часть материала взята из курса по теории рекурсии. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Лавров, И. А. Мальцев, И. А. Ершов, Ю. Л. |