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