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