TY  - BOOK
AU  - Barwise,Jon
AU  - Etchemendy,John
TI  - HYPERPROOF FOR THE MACINTOSH
SN  - 1881526119
U1  - 160.2855369 
PY  - 1994///
CY  - 
PB  - Center For The Study Of Language And Information
KW  - Computer Science
KW  - Logic,Symbolic And Mathematical
KW  - Macintosh (Computer)
N1  - Includes Index; Alongwith Diskette
ER  -