| 000 | 00397nam a2200157Ia 4500 | ||
|---|---|---|---|
| 008 | 240618s9999||||xx |||||||||||||| ||und|| | ||
| 020 |
_aKBCS _c120 |
||
| 040 | _aMAIN | ||
| 082 | _a903 | ||
| 100 |
_aGALLIER,JEAN H _935688 |
||
| 245 | 0 | _aLOGIC FOR COMPUTER SCIENCE: FOUNDATIONS OF AUTOMATIC THEOREM PROVING | |
| 260 |
_bJW _c1987 _aNEW YORK |
||
| 300 | _b511 | ||
| 500 | _aPCV-2161 | ||
| 942 | _cBK | ||
| 999 |
_c42589 _d42589 |
||