теория рекурсивных функций

  • Клини С.К. Введение в метаматематику. Пер. с анг. – М., Мир, 1957. – 528 с.
    Книга, написанная выдающимся американским математиком Стивеном Клини, является одной из самых обширных из имеющихся монографий по математической логике и теории рекурсивных функций. Этот фундаментальный труд по праву стал настольной книгой для всех, кто занимается математической логикой, рекурсивными функциями и основаниями математики. Цель автора – дать читателю связное введение в область данных научных дисциплин, а также в исследования по основаниям математики вообще.