С.К. Клини

Введение в метаматематику

С.К. Клини

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

Математическая логика

С.К. Клини

Имя одного из крупнейших специалистов в области математической логики С.К. Клини знакомо читателю по русскому переводу его фундаментального труда «Введение в метаматематику» (переиздание которого готовится нашим издательством), ставшего настольной книгой для всех, кто занимается математической логикой, рекурсивными функциями и основаниями математики.
Настоящая книга представляет собой...

Математическая логика. Издание 3-е, стереотипное

С.К. Клини

Математическая логика

С.К. Клини

Имя одного из крупнейших специалистов в области математической логики С. К. Клини знакомо читателю по русскому переводу его фундаментального труда "Введение в метаматематику" (Изд. 2. М.: УРСС, 2005), ставшего настольной книгой для всех, кто занимается математической логикой, рекурсивными функциями и основаниями математики. Настоящая книга представляет собой существенно усовершенствованный, расширенный и...