Language, Proof, and Logic – Second Edition – David Barker–plummer | Storytel Books