| 000 | 01023nam a22003011i 4500 | ||
|---|---|---|---|
| 001 | 000028838 | ||
| 003 | RuMoIPM | ||
| 005 | 20251127131356.0 | ||
| 008 | 120207s1975----ru ||||| |||| 00| 0 rus d | ||
| 035 | _arc\3782781 | ||
| 040 |
_aRuMoIPM _brus _ercr |
||
| 041 | 0 | _arus | |
| 044 | _aru | ||
| 080 | _a510.6 | ||
| 080 | _a510.5 | ||
| 080 | _a510.22 | ||
| 100 | 1 | _aЛавров, Игорь Андреевич | |
| 245 | 1 |
_aЗадачи по теории множеств математической логике и теории алгоритмов _cИ. А. Лавров, Л. Л. Максимова |
|
| 260 |
_aМосква _bНаука _c1975 |
||
| 300 | _a240 с. | ||
| 504 | _aБиблиогр.: с. 232 | ||
| 504 | _aУказ. предм. и обознач.: с. 233-239 | ||
| 650 |
_2psbo _aМатематическая логика |
||
| 650 |
_2psbo _aАлгоритмы |
||
| 650 |
_2psbo _aМножеств теория |
||
| 700 | 1 | _aМаксимова, Лариса Львовна | |
| 942 | _cBK | ||
| 999 |
_c28838 _d28838 |
||