Словарь по логике

Клини

Стефан Коул Клини, Stephen Cole Kleene (1909 - ...): Американский математик и логик. Развил теорию обще- и частичнорекурсивных функций. (Статья в процессе разработки)
Сочинения: Introduction to metamathematic (1952), Mathematical logic (1967).