Книга является самой обширной из имеющихся монографий по математической логике и теории рекурсивных функций. Она не предполагает со стороны читателя никаких специальных познаний и поэтому может считаться общедоступной. Книга предназначена для глубокого изучения предмета и рассчитана как иа специалистов по математической логике и теории рекурсивных функций, так и иа лиц, желающих впервые, но серьезно, изучить эти науки.

 

Название: Клини Введение в метаматематику.djvu

Размер: 9.32 Мб

Описание: Клини С. Введение в метаматематику. М.: Иностр. литература, 1957

Ссылка для скачивания файла:

http://yildiz.ifolder.ru/7034596

 

Ключевые слова: логика, математическая логика, рекурсия, рекурсивные функции, учебник скачать бесплатно