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 |