Joshua Herman writes: > The name of the book is actually The Little Prover. I think autocorrect > messed my email up. I have that one on my shelf... I hope to get to it soon. It looks incredible.