Название: Введение в метаматематику Автор: Клини С.К. Издательство: Изд-во иностранной лит-ры Год издания: 1957 Страниц: 524 Язык: Русский Формат: djvu Размер: 9,6 Мб
Книга является самой обширной из имеющихся монографий по математической логике и теории рекурсивных функций. Она не предполагает со стороны читателя никаких специальных познаний и поэтому может считаться общедоступной. Книга предназначена для глубокого изучения предмета и рассчитана как на специалистов по математической логике и теории рекурсивных функций, так и на лиц, желающих впервые, но серьезно, изучить эти науки.
Краткое оглавление. От переводчика. Предисловие. Часть первая. Проблемы оснований математики. Часть вторая. Математическая логика. Часть третья. Рекурсивные функции. Часть четвёртая. Математическая логика (дополнительные разделы). Добавления переводчика. Библиография. Символы и обозначения. Список сокращений. Предметный и авторский указатель.
Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь.
С этой публикацией часто скачивают:
Математическая логика и теория алгоритмов Название: Математическая логика и теория алгоритмов Автор: Макоха А. Н., Шапошников А. В., Бережной В. В. Издательство: изд-во СКФУ Год: 2017...
Основания интуиционистской математики Название: Основания интуиционистской математики Автор: Клини С.К., Весли Р.Е. Издательство: М.: Наука, Физматлит Год: 1978 Формат: pdf Страниц: 271...
Математическая логика и ее применения Название: Математическая логика и ее применения Автор: Нагел Э., Саппс П., Тарский А. (ред.) Издательство: М.: Мир Год: 1965 Формат: pdf Страниц: 341...
Что такое математическая логика? Название: Что такое математическая логика? Автор: Калужнин Л.А. Издательство: Наука Год: 1964 Формат: pdf Страниц: 152 Размер: 29,8 Mb Язык:...