000			00652nam a2200169 4500
999			_c190864 _d190862
003			Ge_NSL
008			180510s1981 ru ||||| |||| 00| 0 rus d
020			_a
041			_arus
080			_a
100			_aИшмуратов А. Т.
245			_aИсследования по математической логике и теории алгоритмов : _b(временная логика)/ _cИшмуратов А. Т.
264			_aКиев : _bНаука , _c1981.
300			_a150 с.
653			_a მათემატიკური ლოგიკა და ალგორითმების თეორია
942			_2udc _cBK