| 000 | 01063nam a2200265 a 4500 | ||
|---|---|---|---|
| 001 | vtls001853160 | ||
| 003 | MY-SjTCS | ||
| 005 | 20200226121307.0 | ||
| 008 | 110218s1999 enka 001 0 eng | ||
| 020 | _a0521630177 | ||
| 039 | 9 |
_a201102181410 _bVLOAD _c200911120959 _dsiew_eng _c200911120954 _dsiew_eng _c200911120953 _dsiew_eng _y200407271913 _zVLOAD |
|
| 041 | 1 |
_aeng _hger |
|
| 082 | 0 | 4 |
_a004.015113 _bKLE |
| 100 | 1 |
_aKleine Buning, H. _q(Hans) _911028 |
|
| 245 | 1 | 0 |
_aPropositional logic : _bdeduction and algorithms / _cHans Kleine Büning, Theodor Lettman. |
| 260 |
_aCambridge, U.K. : _bCambridge University Press, _c1999. |
||
| 300 |
_ax, 409 p. : _bill. ; _c24 cm. |
||
| 490 | 1 |
_aCambridge tracts in theoretical computer science; _v48 |
|
| 500 | _aTranslated from the German. First published in German by B.G. Teubner in 1994 | ||
| 650 | 0 |
_aComputer algorithms. _95494 |
|
| 650 | 0 |
_aComputer logic. _910228 |
|
| 700 | 1 |
_aLettmann, T. _q(Theodor) _9101629 |
|
| 830 | 0 |
_aCambridge tracts in theoretical computer science; _v48 |
|
| 920 | _aUOS:C : 560445 | ||
| 999 | _c180282 | ||