The Little Prover
#2177 of 2,654 all-time
The Little Prover
Daniel P. Friedman, David Repegory
3 people recommended it in 3 threads, 2015–2024.
What people on Hacker News said
It was exactly what I expected, a gentle introduction into inductive proofs in the idiom established by The Little Schemer.
I can't get enough of this style of textbook writing.
Where it comes up
- Ask HN: What's the "best" book you've ever read? 2024 · 1 recommendation
- Ask HN: Which books have made you a better thinker and problem solver? 2022 · 1 recommendation
- Ask HN: Best books you've read in 2015 2015 · 1 recommendation