Barwise, Jon <br/><br/>
Hyperproof / 
Jon Barwise & John Etchemendy ; program by Gerard, Mark Greaves, and Michael Lenz 
 - 255  p.  :  ill. ;  25 cm. +  1 computer disks (3 1/2 in) 
 - CSLI Lecture notes no. 42 .
<br/><br/> Buku disertakan bersama disket dan boleh didapati dibilik Multimedia KCKL 
<br/><br/>Includes index 
<br/><br/><label>ISBN: </label>1881526119 (pbk.) 
<br/><br/><label>LCCN: </label>93-30747 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science<br/>Logic, Symbolic and mathematical<br/>Hyperproof
<br/><br/><label>National Library of Medicine Call No.: </label>QA76