Клини, С. <br/><br/>
Основания интуиционистической математики с точки зрения теории рекурсивных функций :  Пер. с англ. / 
С. Клини, Р. Весли ; Пер. Ф.А. Кабакова, Б.А. Кушнера. 
 - Москва :  Наука. Гл. ред. физ.-мат. лит.,  1978. 
 - 271 с. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Математика