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