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