| 000 | 00633nam a22001817a 4500 | ||
|---|---|---|---|
| 008 | 180826b mp ||||| |||| 00| 0 mon d | ||
| 037 | _bХудалдаж авсан | ||
| 040 | _cМУБИС | ||
| 041 | _arus | ||
| 082 |
_221 _a511.3 _bС74 |
||
| 100 | _aДавыдова Г.В., Минца Г.Е. | ||
| 245 | 0 | _aСправочная книга по математической логике. В 4-х частях. Ч.4.Теория доказательств и конструктивная математика | |
| 250 | _a0 | ||
| 260 |
_c1983 _aМосква _bНаука |
||
| 300 | _a392 | ||
| 490 | _v0 | ||
| 942 |
_2ddc _cBK |
||
| 999 |
_c61514 _d61514 |
||