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