КЛИНИ Стивен Коул (Kleene Stephen Cole)
(p. 5.1.1909, Хартфорд, шт.Коннектикут) - американский логик
и математик, чл. Национальной АН США (1969).
Окончил Принстонский университет (1930), с 1935 работает
в Висконсинском университете (с 1948 профессор).
Основные труды по теории алгоритмов и рекурсивных
функций, а также проблемам интуиционистской
логики и математики. Ввёл понятие рекурсивной
реализуемости формул. Известна классификация
Клини-Мостовского для теоретико-числовых
предикатов (1943).
На русский язык переведны его книги
