160.2855369  / B289H <br/>
Barwise,Jon <br/>
       HYPERPROOF FOR THE MACINTOSH 
 / 
 .-  Center For The Study Of Language And Information,  1994 
 .- xvii,255 . 
.- ( Csli Lecture Notes No.42     
<br/>Includes Index Alongwith Diskette 
<br><u>ISBN:</u> 1881526119 
<br/><u>Subject Headings:</u> <br/>Computer Science;<br/>Logic,Symbolic And Mathematical;<br/>Macintosh (Computer);
<br/><U>Author Added Entry: </u><br/>Etchemendy,John;
<br><U>Copy Details:</u><br> Acc. No.: <b>A122337</b>, Full Call No.: 160.2855369 B289H,   Item type:  Books , Location: COMPACT STORAGE (BASEMENT), <br><b>------------------------- --------------------- ------ --------- ------- ------- --------- -------- </b><br>