LEADER 03229nam  2200577 a 450 
001 9910784551203321
005 20230120004747.0
010   $a1-281-05681-2
010   $a9786611056810
010   $a0-08-053790-1
035   $a(CKB)1000000000364692
035   $a(EBL)311405
035   $a(OCoLC)476098365
035   $a(SSID)ssj0000213161
035   $a(PQKBManifestationID)11201706
035   $a(PQKBTitleCode)TC0000213161
035   $a(PQKBWorkID)10159928
035   $a(PQKB)10207677
035   $a(MiAaPQ)EBC311405
035   $a(Au-PeEL)EBL311405
035   $a(CaPaEBR)ebr10190042
035   $a(CaONFJC)MIL105681
035   $a(EXLCZ)991000000000364692
100   $a20051014d2005      uy             0
101 0 $aeng
135   $aur|n|---|||||
181   $ctxt
182   $cc
183   $acr
200 14$aThe nuts and bolts of proofs$b[electronic resource] /$fAntonella Cupillari
205   $a3rd ed.
210   $aAmsterdam ;$aBoston $cElsevier Academic Press$dc2005
215   $a1 online resource (193 p.)
300   $aDescription based upon print version of record.
311   $a0-08-051894-X 
311   $a0-12-088509-3 
320   $aIncludes bibliographical references (p. 173-176) and index.
327   $aFront Cover; The Nuts and Bolts of Proofs; Copyright Page; List of Symbols; Contents; Preface; Chapter 1. Introduction and Basic Terminology; Chapter 2. General Suggestions; Chapter 3. Basic Techniques to Prove If/Then Statements; Direct Proof; Related Statements; Proof by Contrapositive (AKA Proof by Contradiction or Indirect Proof); How to Construct the Negation of a Statement; Chapter 4. Special Kinds of Theorems; ""If and Only If"" or ""Equivalence Theorems""; Use of Counterexamples; Mathematical Induction; Existence Theorems; Uniqueness Theorems; Equality of Sets; Equality of Numbers
327   $aComposite StatementsLimits; Chapter 5. Review Exercises; Chapter 6. Exercises Without Solutions; Chapter 7. Collection of Proofs; Chapter 8. Solutions for the Exercises at the End of the Sections and the Review Exercises; Solutions for the Exercises at the End of the Sections; Solutions for the Review Exercises; Chapter 9. Other Books on the Subject of Proofs and Mathematical Writing; Index; A Guide to Selecting a Method of Proof
330   $aThe Nuts and Bolts of Proof  instructs students on the basic logic of mathematical proofs, showing how and why proofs of mathematical statements work.  It provides them with techniques they can use to gain an inside view of the subject, reach other results, remember results more easily, or rederive them if the results are forgotten.A flow chart graphically demonstrates the basic steps in the construction of any proof and numerous examples illustrate the method and detail necessary to prove various kinds of theorems.* The ""List of Symbols"" has been extended.* Set Theory section ha
606   $aProof theory
615  0$aProof theory.
676   $a511.3/6
700   $aCupillari$b Antonella$0627650
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910784551203321
996   $aNuts and bolts of proofs$91213908
997   $aUNINA