Proof, Logic and Formalization | 0415023351 | Memmo