| 000 | 01037nam a2200313 a 4500 | ||
|---|---|---|---|
| 005 | 20250914095555.0 | ||
| 008 | 010420d1994 xxua 000 0 eng b | ||
| 010 | _a93-30747 | ||
| 020 | _a1881526119 (pbk.) | ||
| 039 | 9 |
_y04-20-2001 _zlailawati |
|
| 060 | _aQA76 | ||
| 090 | _aQA76.B3114 1994 9 | ||
| 100 | 1 | _aBarwise, Jon | |
| 245 | 1 | 0 |
_aHyperproof / _cJon Barwise & John Etchemendy ; program by Gerard, Mark Greaves, and Michael Lenz |
| 300 |
_a255 p. : _bill. ; _c25 cm. + _e1 computer disks (3 1/2 in) |
||
| 440 | 0 | _aCSLI Lecture notes no. 42 | |
| 500 | _aBuku disertakan bersama disket dan boleh didapati dibilik Multimedia KCKL | ||
| 502 | _aIncludes index | ||
| 650 | 1 | 2 | _aComputer science |
| 650 | 2 | 2 | _aLogic, Symbolic and mathematical |
| 650 | 2 | 2 | _aHyperproof |
| 907 |
_a.b12828415 _b2019-11-12 _c2019-11-12 |
||
| 942 |
_c01 _n0 _kQA76.B3114 1994 9 |
||
| 914 | _avtls000292887 | ||
| 990 | 0 | _alm. | |
| 991 | 0 | _aJab. Perpustakaan | |
| 998 |
_ad _b2001-07-04 _cm _da _feng _gxxu _y0 _z.b12828415 |
||
| 999 |
_c283444 _d283444 |
||