TY  - BOOK
AU  - Barwise Jon
AU  - Etchemendy John
TI  - Hyperproof
U1  - 511.3 
PY  - 1994///
CY  - Stanford
PB  - Center for the Study of Language and Information Pub.
KW  - Hyperproof
N1  - Program by Gerard Allwein, Mark Greaves and Michael Lenz with additional programming by Alan Bush, Douglas Felt, Adrian Klein, Christopher Phoenix, Mark Ravaglia and Rick Wong
ER  -