| 000 | 01030nam a22002657c 4500 | ||
|---|---|---|---|
| 001 | 000030277 | ||
| 003 | RuMoIPM | ||
| 005 | 20260409114229.0 | ||
| 008 | 240221b1969 ru ||||| |||| 00| 0 rus d | ||
| 035 | _a(RuMoBEN) 002231180 | ||
| 040 |
_aRuMoBEN _brus _ercr |
||
| 041 |
_arus _heng |
||
| 044 | _aru | ||
| 080 | _a510.6 | ||
| 100 | _aКарри, Хаскелл Брукс | ||
| 245 |
_aОснования математической логики _cХ. Карри ; [пер. с англ. В. В. Донченко ; под ред. Ю. А. Гастева] |
||
| 260 |
_aМосква _bМир _c1969 |
||
| 300 | _a567 с. | ||
| 500 | _aПер. изд.: Fondations of mathematical logic / by Haskell B. Curry. New York [etc.] : McGraw-Hill, 1963 | ||
| 504 | _aБиблиогр. в подстроч. примеч. и с. 518-547 | ||
| 555 | _aУказ. символов, терминов, имен.: с. 548-547 | ||
| 700 | 1 |
_aДонченко, В. В. _eпер. |
|
| 700 | 1 |
_aГастев, Ю. А. _eред. |
|
| 942 | _cBK | ||
| 999 |
_c30277 _d30277 |
||