000			00532nam a2200181 4500
999			_c191672 _d191670
003			Ge_NSL
005			20180515145925.0
008			180515s1967 ru ||||| |||| 00| 0 rus d
020			_a
041			_arus
080			_a1649075)
100			_aСтяжкин Н. И.
245			_aФормирование математической логики / _cСтяжкин Н. И.
264			_aМ.: _bнаука , _c19647.
300			_a508 c.
653			_aმათემატიკური ლოგიკა
942			_2udc _cBK