Paulson, Lawrence C <br/><br/>
Logic and computation : interactive proof with Cambridge LCF 
Lawrence C. Paulson 
 - Cambridge  Cambridge University Press  c1987 
 - xiii, 302 p. ; 25 cm 
<br/><br/> Includes index. Bibliography: p. [289]-295 
<br/><br/><label>ISBN: </label>9780521395601 
<br/><br/><label>ISSN: </label>87018305 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Cambridge LCF (Computer system)<br/>Computable functions - Data processing
<br/><br/><label>Dewey Class. No.: </label>004.125 PAU