000 | 01022 a2200217 4500 | ||
---|---|---|---|
008 | 110605s9999 xx 000 0 rus d | ||
240 | 1 | 0 | _a87.4/Г-47 |
020 |
_a512510180x _c11000 |
||
084 |
_a87.4 _bГ-47 |
||
100 | 1 | _aГильберт Д. | |
245 | 1 | 0 |
_aОсновы теоретической логики/ _c Орчуулагч Ерофеева А.А.; Редактор Яновской С.А.; |
260 |
_aОрос _bИП Тривиум _c2000 |
||
300 | _a302 | ||
504 | _aДансны дугаар: С-83953 | ||
510 |
_aисчисление высказываний _aисчисление классов _aрасширенное исчисление предикатов |
||
653 | _aлогика | ||
653 | _aтеоретическая логика | ||
653 | _aисчисление классов | ||
700 | 1 | _aАккерман В. | |
740 |
_aисчисление высказываний _aисчисление классов _aрасширенное исчисление предикатов |
||
999 |
_c86469 _d86469 |