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

Сохранено в:
Шифр документа: АУ558428, М14592,
Вид документа: Книги
Автор: Клини, С. К.
Опубликовано: М. : Наука , 1978
Физические характеристики: 271 с. ; 20 см
Язык: Русский
Серия: Мат. логика и основания математики
Предмет:
00000cam0a22000001ib4500
001 BY-NLB-rr12100210000
005 20220413140828.0
010 # # $b В пер.  $d 1 р. 50 к. 
021 # # $a RU  $b [78-19487] 
100 # # $a 20070208d1978 y0rusy50 ||||ca 
101 0 # $a rus 
102 # # $a RU 
200 1 # $a Основания интуиционистской математики с точки зрения теории рекурсивных функций  $f Пер. с англ. Ф. А. Кабакова и Б. А. Кушнера 
210 # # $a М.  $c Наука  $d 1978 
215 # # $a 271 с.  $d 20 см 
225 2 # $a Мат. логика и основания математики 
300 # # $a Перевод изд.: The foundations of intuitionistic matcs especially in relation to recursive functions/S. C. Kleene, R. E. Vesley (Amsterdam, 1965). Список лит.: с. 254-266. Указ. имен, предм. и обозначений: с. 267-271 
345 # # $9 8000 экз. 
610 0 # $a Интуиционизм (филос.) 
610 0 # $a Математика - Философские проблемы 
675 # # $a 510.24 
700 # 1 $a Клини  $b С. К.  $g Стефен Коул 
701 # 1 $a Весли  $b Р.  $g Ричард 
801 # 1 $a BY  $b BY-HM0000  $c 20070208  $g psbo