| 000 | 00885nam a2200241 4500 | ||
|---|---|---|---|
| 001 | vtls000010024 | ||
| 003 | KUKTEM | ||
| 005 | 20251117142313.0 | ||
| 008 | 060606t2004 xxu gr |0 1 0|eng | | ||
| 020 | _a0521630177 | ||
| 039 | 9 |
_a201107131747 _bVLOAD _c200908141123 _dVLOAD _c200908141055 _dVLOAD _c200908131552 _dVLOAD _y200606141148 _zVLOAD |
|
| 040 | _aUMP | ||
| 090 | _aQA76.63 .B86 1999 | ||
| 100 | _aKleine Buning, H | ||
| 245 | 0 | 0 |
_aPropositional logic : _b deduction and algorithms / _c Hans Kleine Buning, Theodor Lettman |
| 260 |
_aCambridge [England]: New York: _b Cambridge University Press, _c 1999 |
||
| 300 |
_ax, 409 p.; _c 24 cm. |
||
| 440 | 0 | _aCambridge tracts in theoretical computer science; 48 | |
| 504 | _aIncludes bibliographical references (p. 385-402) and index | ||
| 650 | 0 | 0 | _aComputer logic |
| 650 | 0 | 0 | _aComputer algorithms |
| 700 | 1 | 2 | _aLettman, Theodor |
| 999 |
_c26550 _d26556 |
||