| 000 | 01481nam0a2200373 i 4500 | ||
|---|---|---|---|
| 001 | RU\NLR\BIBL_A\010919494 | ||
| 005 | 20241115065219.0 | ||
| 021 |
_aRU _b2015-90208 _95558 |
||
| 035 | _a(NILC)RuMoRGB-008074127 | ||
| 035 | _a(NLR Aleph) 010919494 | ||
| 090 |
_a10669889 _c10669888 |
||
| 100 | _a20151207d2014 u y0rusy50 ca | ||
| 101 | 0 | _arus | |
| 102 | _aRU | ||
| 105 | _ay|||z|||000 | ||
| 200 | 1 |
_aПоследовательность реализаций аксиоматики Пеано и принцип евклидовой логической стационарности _fПроскуряков М. Н. |
|
| 210 |
_aМосква _cРепро Галерея _d2014 |
||
| 215 |
_a7, [1] с. _d21 |
||
| 320 | _aБиблиогр. в конце кн. | ||
| 606 |
_aИсчисление высказываний _xТеория доказательств _92080498 _3RU\NLR\AUTH\661256434 |
||
| 606 |
_aМатематическая индукция _91384111 _3RU\NLR\AUTH\66267664 |
||
| 606 |
_aНатуральные числа _92143811 _3RU\NLR\AUTH\661291814 |
||
| 610 | 0 | _aаксиоматика Пеано | |
| 610 | 0 | _aевклидова логическая стационарность | |
| 675 | _a510 | ||
| 686 | 1 | _aВ123 | |
| 686 | 1 | _aВ12 | |
| 686 | 1 | _aВ140 | |
| 700 | 1 |
_aПроскуряков _bМ. Н. _gМихаил Н. |
|
| 801 | 0 |
_aRU _bРГБ _c20151119 _gRCR |
|
| 942 | _cBOOK | ||
| 980 | _aNBR | ||