Towards the Structure of Mathematical Proof
An introduction to the theory of numbers (5. ed.)