发现还有两本关联书籍：
The Little Prover:
An introduction to writing proofs about computer programs, written in an accessible question-and-answer style, complete with step-by-step examples and a simple proof assistant.
https://mitpress.mit.edu/9780262527958/the-little-prover/
The Reasoned Schemer:
A new edition of a book, written in a humorous question-and-answer style, that shows how to implement and use an elegant little programming language for logic programming.
https://mitpress.mit.edu/9780262535519/the-reasoned-schemer/
The Little Prover:
An introduction to writing proofs about computer programs, written in an accessible question-and-answer style, complete with step-by-step examples and a simple proof assistant.
https://mitpress.mit.edu/9780262527958/the-little-prover/
The Reasoned Schemer:
A new edition of a book, written in a humorous question-and-answer style, that shows how to implement and use an elegant little programming language for logic programming.
https://mitpress.mit.edu/9780262535519/the-reasoned-schemer/
MIT Press
The Little Prover
An introduction to writing proofs about computer programs, written in an accessible question-and-answer style, complete with step-by-step examples and a simp...
