000 00730nas a2200241u##4500
001 genk/184535
003 POUNB
005 20240110015913.0
020 _c0.76, тираж 6000
040 _aПОУНБ
041 _a
245 0 0 _aТеория логического вывода
_bсборник статей
_cред. П. В. Таванец
260 _aМ.
_bНаука
_c1973
300 _a272 с.
700 1 _aТаванец,П. В.
_qПетр Васильевич
_4edt
942 _cBOOK
090 _xТ 338
991 _bgenk
_c16/Т 338-851027146
336 _atext
_btxt
_2rdacontent
337 _aunmediated
_bn
_2rdamedia
338 _asheet
_bnb
_2rdacarrier
999 _c1548782
_d1548782
084 _a16
_2tbk