| 000 | 01194nam a22002651i 4500 | ||
|---|---|---|---|
| 001 | 000030299 | ||
| 003 | RuMoIPM | ||
| 005 | 20260414113659.0 | ||
| 008 | 110829s1978----ru | c rus | ||
| 040 |
_aRuMoIPM _brus _ercr |
||
| 041 | 1 |
_arus _heng |
|
| 080 | _a51:1 | ||
| 100 | 1 | _aКлини, Стефен Коул | |
| 245 | 1 |
_aОснования интуиционистской математики с точки зрения теории рекурсивных функций _cС. Клини, Р. Весли ; Пер. с англ. Ф. А. Кабакова и Б. А. Кушнера |
|
| 260 |
_aМосква _bНаука _c1978 |
||
| 300 | _a271 с. | ||
| 490 | 0 | _aМатематическая логика и основания математики | |
| 500 | _aПер. изд.: The foundations of intuitionistic matcs especially in recursive functions / S.C. Kleene, R.E. Vesley (Amsterdam, 1965) | ||
| 504 | _aУказ. имен, предм. и обозначений: с. 267-271 | ||
| 504 | _aБиблиогр.: с. 254-266 | ||
| 700 | 1 | _aВесли, Ричард | |
| 700 | 1 |
_aКабаков, Ф. А. _eпер. |
|
| 700 | 1 |
_aКушнер, Б. А. _eпер. |
|
| 942 | _cBK | ||
| 999 |
_c30299 _d30299 |
||