000 01081nam a22002532i 4500
999 _c189306
_d189304
001 006081809
003 ELAR
005 20180501130517.0
008 121025s1962 ru ||||| |||||||| ||rus d
035 _a(RuMoELAR)1946-68-421637
040 _aRuMoRGB
_brus
_cELAR
_ercr
041 0 _arus
044 _aru
080 _a162
100 1 _aГетманова, Александра Денисовна
245 0 0 _aВыражение дедуктивных умозаключений традиционной логики в символической логике /
_h[Текст]
_cПод ред. Б. В. Бирюкова ; М-во просвещения РСФСР. Мурман. гос. пед. ин-т .
260 _aМурманск :
_b[б. и.].
_c1962.
300 _a51 с.
_c22 см
650 7 _aМатематическая логика
_2RKP
653 _aმათემატიკური ლოგიკა
700 1 _aБирюков, Б. В.
_eრედაქტორი
942 _2udc
_cBK