| 000 | 01328-am-a2200205-a-4500 | ||
|---|---|---|---|
| 001 | 000114751 | ||
| 005 | 20230827110746.0 | ||
| 008 | 010418s1985 xxu 000 0 rus u | ||
| 020 | _c01.30 | ||
| 040 | _aAM, AiYeEPHG, :1/04/18 | ||
| 245 | 1 | 0 |
_aМатематическая логика и ее применение : _bМатериалы к семинару Вып. 4, Алгоритмические вопросы формальных систем / _cПод ред. Р. Плюшкявичюс. |
| 260 | 0 |
_aВильнюс : _bИн-та математики и кибернетики АН Литовской ССР , _c1985. |
|
| 300 | _a134,[5] с. | ||
| 500 | _aМатериалы к семинару при институте математики и кибернетики АН Литовской ССР "Математическая логика и ее применения" | ||
| 500 | _aИн-т математики и кибернетики АН Литовской ССР | ||
| 650 | 4 | _aМатематическая логика | |
| 700 | 1 | 0 |
_aПлюшкявичюс, Р. _4edt |
| 711 | 2 | _aСеминар "Математическая логика и ее применения" при институте математики и кибернетики АН Литовской ССР Вильнюс | |
| 999 |
_c89659 _d89659 |
||
| 942 | _cBK | ||