00614nam a2200181 4500 0 4 udc 0 0 CPL CPL GEN 2018-04-24 0 16 2018-23245 2018-04-24 00:00:00 2R405473 2018-04-24 BK 0 4 udc 0 0 CPL CPL GEN 2018-04-24 0 16 2018-23248 2018-04-24 00:00:00 2R403663 2018-04-24 BK 0 0 udc 0 0 teq teq 2018-04-24 0 16 2018-23250 2018-04-24 00:00:00 2R403664 2018-04-24 BK 188078 188076 Ge_NSL 20180424160419.0 180424s1972 ru ||||| |||| 00| 0 rus d rus 16 Смирнов, Владимир Александрович Формальный вывод и логические исчисления / АН СССР. Ин-т философии ; В.А.Смирнов. Москва : Наука, 1972. 271 с. ლოგიკა Ин-т философии udc BK