Hyperproof
- Författare
- Jon Barwise
- (Jon Barwise & John Etchemendy program by Gerard Allwein, Mark Greaves, and Michael Lenz with additional programming by Alan Bush ...)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| CSLI Publications | cop. 1994 | USA, Stanford, Calif | 255 sidor. : ill. + diskett | 1-881526-11-9 |