Friedman, Daniel P., <br/><br/>
The little prover / 
Daniel P. Friedman and Carl Eastlund ; drawings by Duane Bibby ; foreword by J. Strother Moore ; afterword by Matthias Felleisen. 
 - 1 online resource (244 pages) :  illustrations 
<br/><br/>Includes bibliographical references and index. 
<br/><br/><label>ISBN: </label>9780262330565 (e-book) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Automatic theorem proving.<br/>LISP (Computer program language)
<br/><br/><label>Index Terms--Genre/Form: </label><br/>Electronic books.
<br/><br/><label>LC Class. No.: </label>QA76.9.A96  / .F745 2015 
<br/><br/><label>Dewey Class. No.: </label>511.3/6028563