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 -