Основания интуиционистской математики с точки зрения теории рекурсивных функций
Клини, Стефен Коул.
Основания интуиционистской математики с точки зрения теории рекурсивных функций / С. Клини, Р. Весли ; Пер. с англ. Ф. А. Кабакова и Б. А. Кушнера. — Москва : Наука, 1978. — 271 с. (Математическая логика и основания математики).
Пер. изд.: The foundations of intuitionistic matcs especially in recursive functions / S.C. Kleene, R.E. Vesley (Amsterdam, 1965).
Указ. имен, предм. и обозначений: с. 267-271
Библиогр.: с. 254-266.
Весли, Ричард
Кабаков, Ф. А., пер.
Кушнер, Б. А., пер.
УДК: 51:1
[ SYS NUM: 30299 ]
Основания интуиционистской математики с точки зрения теории рекурсивных функций / С. Клини, Р. Весли ; Пер. с англ. Ф. А. Кабакова и Б. А. Кушнера. — Москва : Наука, 1978. — 271 с. (Математическая логика и основания математики).
Пер. изд.: The foundations of intuitionistic matcs especially in recursive functions / S.C. Kleene, R.E. Vesley (Amsterdam, 1965).
Указ. имен, предм. и обозначений: с. 267-271
Библиогр.: с. 254-266.
Весли, Ричард
Кабаков, Ф. А., пер.
Кушнер, Б. А., пер.
УДК: 51:1
[ SYS NUM: 30299 ]