| 000 | 00896nam a2200253 c 4500 | ||
|---|---|---|---|
| 001 | 000030226 | ||
| 003 | RuMoIPM | ||
| 005 | 20260402123123.0 | ||
| 008 | 230210s1979 ru ||||||| |||| ||rus d | ||
| 035 | _a(RuMoBEN) 001964806 | ||
| 035 | _a(ELAR retro) [2022] 000035396 | ||
| 040 |
_aRuMoBEN _brus _ercr |
||
| 041 | 0 | _arus | |
| 044 | _aru | ||
| 080 | _a510.6 | ||
| 100 | 1 | _aДрагалин, Альберт Григорьевич | |
| 245 | 1 | 0 |
_aМатематический интуиционизм _bВведение в теорию доказательств _cА. Г. Драгалин |
| 260 |
_aМосква _bНаука _c1979 |
||
| 300 |
_a256 с. _bчерт. |
||
| 490 | 0 | _aМатематическая логика и основания математики | |
| 504 | _aБиблиогр.: с. 240-250 | ||
| 504 | _aИмен., предм. указ.: с. 251-256 | ||
| 942 | _cBK | ||
| 999 |
_c30226 _d30226 |
||