The Little Prover
2015 • 248 pages