|
|
|
|
|
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
|