| 000 | 00456nam a2200169Ia 4500 | ||
|---|---|---|---|
| 008 | 240618s9999||||xx |||||||||||||| ||und|| | ||
| 020 |
_aKBCS _c41.25 |
||
| 040 | _aMAIN | ||
| 082 | _a901 | ||
| 100 |
_aRICHARDS,TOM _935546 |
||
| 245 | 0 | _aCLAUSAL FORM LOGIC: AN INTRODUCTION TO THE LOGIC OF COMPUTER REASONING | |
| 260 |
_bAW _c1989 _aSYDNEY |
||
| 300 | _b359 | ||
| 440 |
_aINTERNATIONAL COMPUTER SCIENCE SERIES _935547 |
||
| 500 | _aBR-965 | ||
| 942 | _cBK | ||
| 999 |
_c42451 _d42451 |
||