| 000 | 01229nam0a2200313 i 4500 | ||
|---|---|---|---|
| 001 | RU\NLR\bibl\1897030 | ||
| 005 | 20241115065218.0 | ||
| 021 |
_aRU _b2012-25570 _91906 |
||
| 090 |
_a2863888 _c2863888 |
||
| 100 | _a20120427d2011 u y0rusy50 ca | ||
| 101 | 0 | _arus | |
| 102 | _aRU | ||
| 105 | _ay ||||||||| | ||
| 200 | 1 |
_aТеорема единственности евклидовой механики в исчислении высказываний _fПроскуряков М.Н. |
|
| 210 |
_aМосква _c[б.и.] _d2011 |
||
| 215 |
_a6 с. _d20 |
||
| 320 | _aБиблиогр.: с. 6 (3 назв.) | ||
| 606 | 1 |
_aЕвклидово пространство _2nlr_sh2 _3RU\NLR\auth\66226726 _91310133 |
|
| 606 |
_8rus _aИсчисление высказываний _xТеория доказательств _7ca _2nlr_sh2 _3RU\NLR\auth\661256434 _92080498 |
||
| 606 | 1 |
_aКлассическая механика _2nlr_sh2 _3RU\NLR\auth\661268086 _92095839 |
|
| 686 | _aВ2 | ||
| 686 | _aВ123 | ||
| 700 | 1 |
_aПроскуряков _bМ. Н. _gМихаил Н. _4070 |
|
| 942 | _cBOOK | ||
| 983 | 0 | _aРГ ЛН | |