| 000 | 00932nam a22002057a 4500 | ||
|---|---|---|---|
| 003 | Ge_NSL | ||
| 005 | 20160627141916.0 | ||
| 008 | 160627c19819999ru ||||| |||| 00| 0 rus d | ||
| 041 | _arus | ||
| 080 | _a51(09) | ||
| 245 |
_aТеоретические применения методов математической логики : 1981: _bСборник работ / _cПод ред. Д. Ю. Григорьева и В. П. Оревкова ; АН СССР. Мат. ин-т им. В. А. Стеклова. |
||
| 264 |
_aЛенинград : _bНаука, |
||
| 300 | _av. | ||
| 653 | _aმათემატიკური ლოგიკა | ||
| 653 | _aკრებულები | ||
| 700 |
_aГригорьев, Д. Ю. _eრედაქტორი _934031 |
||
| 700 |
_aОревков, В. П. _eრედაქტორი |
||
| 710 | _aАН СССР. Мат. ин-т им. В. А. Стеклова. | ||
| 942 |
_2udc _cCR |
||
| 999 |
_c64985 _d64985 |
||