Основания интуиционистской математики с точки зрения теории рекурсивных функций / Пер. с англ. Ф.А. Кабакова и Б.А. Кушнера
Язык: русский ; оригинала, английский.Выходные данные: Москва : Наука, 1978Физическая характеристика: 271 с. ; 20 см.Серия: Математическая логика и основания математики Библиография: Указ. имен, предм. и обозначений: с. 267-271; Список лит.: с. 254-266.Оригинал (перевода): The foundations of intuitionistic matcs especially in recursive functionsПредметная рубрика - Тема: Интуиционизм (филос.) | Математика -- Философские проблемы Тип экземпляра: Книга| Тип экземпляра | Текущая библиотека | Шифр хранения | Статус | Срок возврата | Штрих-код | |
|---|---|---|---|---|---|---|
| Книга | РНБ (Московский) Русский книжный фонд: издания с 1957 года, 9этаж, Хран. | 78-3/4104 (Просмотр полки(Открывается ниже)) | Доступно | 1-1496541 |
Перевод изд.: The foundations of intuitionistic matcs especially in recursive functions / S.C. Kleene, R.E. Vesley (Amsterdam, 1965)
Указ. имен, предм. и обозначений: с. 267-271
Список лит.: с. 254-266