Название: Введение в метаматематику
Автор: Клини С.К.
Издательство: Изд-во иностранной лит-ры
Год издания: 1957
Страниц: 524
Язык: Русский
Формат: djvu
Размер: 9,6 Мб
Книга является самой обширной из имеющихся монографий по математической логике и теории рекурсивных функций. Она не предполагает со стороны читателя никаких специальных познаний и поэтому может считаться общедоступной. Книга предназначена для глубокого изучения предмета и рассчитана как на специалистов по математической логике и теории рекурсивных функций, так и на лиц, желающих впервые, но серьезно, изучить эти науки.
Краткое оглавление.
От переводчика.
Предисловие.
Часть первая. Проблемы оснований математики.
Часть вторая. Математическая логика.
Часть третья. Рекурсивные функции.
Часть четвёртая. Математическая логика (дополнительные разделы).
Добавления переводчика.
Библиография.
Символы и обозначения.
Список сокращений.
Предметный и авторский указатель.
Загрузить с turbo.to