Daniel P. Friedman, Carl Eastlund的图书会按更新时间持续补充，适合从代表作和同主题书继续延展阅读。
The Little Prover
Daniel P. Friedman, Carl Eastlund
评分 8.9分
[FROM www.amazon.com]: The Little Prover introduces inductive proofs as a way to determine facts about computer programs. It is written in an approachable, engaging style of question-and-answer, with
