Friedman, Daniel P. <br/><br/>
The Little Prover 
/ by Friedman, Daniel P. 
 - London  The MIT Press  2015 
 - 229  23cm 
<br/><br/><br/>English 
<br/><br/><label>ISBN: </label>9780262527958 
<br/><br/><label>Source: </label> PB 
<br/><br/><label>Subjects--Index Terms: </label>Computer program language | LISP 
<br/><br/><label>Index Terms--Curriculum Objective: </label>--CSE-IT
<br/><br/><label>Dewey Class. No.: </label>511.36028563  / FRI