Little Prover
by Daniel P. Friedman, Carl Eastlund, Duane Bibby
Automatic theorem provingLisp (computer program language)LISP (Computer program language)
Writing a summary for young readers…
For young readers
Book data: Open Library
by Daniel P. Friedman, Carl Eastlund, Duane Bibby
Book data: Open Library