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

Другие авторы:

Язык: Русский Исходный язык: Английский Выходные данные: Москва: Наука, 1978Физическая характеристика: 271 сСерия: Математическая логика и основания математикиУДК:51:1

Тип экземпляра: Книга Папки, в которых отображается этот экземпляр: 2026.04.15

Экземпляры
Тип экземпляра	Текущая библиотека	Шифр хранения	Статус	Срок возврата	Штрих-код
Книга	Институт прикладной математики им. М.В. Келдыша Миусская	51:164 / К 49	Доступно
Книга	Институт прикладной математики им. М.В. Келдыша		Доступно

Пер. изд.: The foundations of intuitionistic matcs especially in recursive functions / S.C. Kleene, R.E. Vesley (Amsterdam, 1965)

Указ. имен, предм. и обозначений: с. 267-271

Библиогр.: с. 254-266