books.google.fr - The book is intended for students who want to learn how to prove theorems and be better prepared for the rigors required in more advance mathematics. One of the key components in this textbook is the development of a methodology to lay bare the structure underpinning the construction of a proof, much...https://books.google.fr/books/about/A_Logical_Introduction_to_Proof.html?hl=fr&id=JIf3CkTPPjMC&utm_source=gb-gplus-shareA Logical Introduction to Proof
