Friedman, Daniel P. <br/><br/>
Little prover / 
 The little prover / 
Daniel P. Friedman, Carl Eastlund ; drawings by Duane Bibby ; foreword by J Strother More. 
 - London, England ;  MIT Press,  2015. 
 - xiii, 229 pages ;  23 cm. 
<br/><br/><label>ISBN: </label>9780262527958 (pbk.) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Automatic theorem proving.<br/>LISP (Computer program language)
<br/><br/><label>Dewey Class. No.: </label>511.36028563 FRI