The little prover /
Friedman, Daniel P.,
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
Includes bibliographical references and index.
9780262330565 (e-book)
Automatic theorem proving.
LISP (Computer program language)
Electronic books.
QA76.9.A96 / .F745 2015
511.3/6028563
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
Includes bibliographical references and index.
9780262330565 (e-book)
Automatic theorem proving.
LISP (Computer program language)
Electronic books.
QA76.9.A96 / .F745 2015
511.3/6028563