000 00663nam a2200181 4500
999 _c191212
_d191210
003 Ge_NSL
005 20180511165336.0
008 180511s1964 ru ||||| |||| 00| 0 rus d
020 _a
041 _arus
080 _a
100 _aРыжков А. Г.
245 _aФормализированный и конструкторский подход к проблеме истинности в математической логике /
_cРыжков А. Г.
264 _aСаратов :
_bиздат.-во Сарат. ун-та.
_c1964.
300 _a28 с.
653 _aმათემატიკური ლოგიკა
942 _2udc
_cBK