Клини, Стефен Коул <br/><br/>
Основания интуиционистской математики с точки зрения теории рекурсивных функций :  Пер. с англ. / 
 The Foundations of Intuitionistic Mathematics Especialle in Relation to Recursive Functions 
С.К. Клини, Р. Весли ; Пер. Ф.А. Кабакова и Б.А. Кушнера. 
 - Москва :  Наука. Гл. ред. физ.-мат. лит.,  1978. 
 - 272 с. 
 - Математическая логика и основания математики .
<br/><br/><label>Subjects--Topical Terms: </label><br/>Математика