000 00797nam a22002531i 4500
001 000030019
003 RuMoIPM
005 20260319121107.0
008 130115s1972----ur | c rus
035 _abiblionumber
040 _aRuMoIPM
_brus
_ercr
041 0 _arus
080 _a510.6
080 _a512
080 _a517.5
100 1 _aГрадштейн, Израиль Соломонович
245 1 _aПрямая и обратная теоремы
_bЭлементы алгебры логики
_cИ. С. Градштейн
250 _a5-е изд.
260 _aМосква
_bНаука
_c1972
300 _a128 с.
_bчерт.
650 _2psbo
_aТеоремы
_xДоказательство
650 _2psbo
_aМатематическая логика
942 _cBK
999 _c30019
_d30019