- Добавил: Westler
- Дата: 12-02-2018, 08:29
- Комментариев: 0

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