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

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