| LDR | 00533namu 2200205 k 4500 | |
|---|---|---|
| 001 | 000000102132 | |
| 005 | 20010101000000 | |
| 008 | 000616s1994 us 001a eng | |
| 020 | ▼a 1881526119 | |
| 040 | ▼a 247004 | |
| 049 | ▼l M0181651 | |
| 056 | ▼a 005.215 | |
| 090 | ▼a 005.215 ▼b B296h | |
| 100 | ▼a Barwise,Jon | |
| 245 | 01 | ▼a Hyperproof / ▼d Jon Barwise, John Etchemendy |
| 260 | ▼a Stanford : ▼b CSLI, ▼c 1994 | |
| 300 | ▼a xvii,255 p. ; ▼c 26 cm + ▼e Include diskette 1 | |
| 504 | ▼a Include index | |
| 653 | ▼a computer science | |
| 950 | ▼b \36000 |