College of Science
Proof" has been & remains one of the concepts which characterises mathematics. Covering basic propositional & predicate logic as well as discussing axiom systems & formal proofs, the book seeks to explain what mathematicians understand by proofs & how they are communicated. The authors explore the principle techniques of direct & indirect proof including induction, existence & uniqueness proofs, proof by contradiction, constructive & non-constructive proofs, etc. Many examples from analysis & modern algebra are included. The exceptionally clear style & presentation ensures that the book will be useful & enjoyable to those studying & interested in the notion of mathematical "proof.