УДК: 510.6 ББК: В12
Математическая логика
Клини С.К.
Всі категорії
Вся тематика
Фізико-математичні науки
Математика
Фундаментальні та загальні питання математики
Математична логіка
10.03.1981 -- М. : Мир
Книга
Навчальне видання
Шифр:517.2
Авторський
знак:К493
Мова:rus
Паралельна назва : Mathematical
logic
Відомості про відповідальність : Пер. с англ.
Ю.А. Гастева; Под ред. Г.Е. Минца
Имя одного из
крупнейших современных специалистов в области математической
логики С.К. Клини знакомо советскому читателю по русскому
переводу его фундаментального труда "Введение в математику"
(ИЛ, 1957), ставшего настольной книгой для всех, кто заним
ается математической логикой, рекурсивными функциями и
основаниями математики. Новая его книга представляет собой
существенно усовершенствованый, расширенный и приближенный к
нуждам университетского преподавания вариант "чисто
логической" части этой в есмирно известной монографии.
Тщательно продуманные иллюстративные упражнения помогают
читателю усвоить излагаемый материал.
Книга может быть использована как учебное пособие по курсу
математической логики в университетах и пединститутах; таким
образ ом, она адресована прежде всего преподавателям,
аспирантам и студентам. Она привлечет также внимание всех
занимающихся или интересующихся математической логикой.
Дата внесення :
10.03.1981
Переглядів: 0
Популярність: 0%
