{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":1,"comments":0,"pivot_tables":0},"unopened":[],"bounds":{"document_bytes":16777216,"sheet_cells":100000,"run_cost":"one","rows_first":2000,"rows_last":500,"rows_between":2000,"halvings":0,"cell_chars":16384,"cell_head_chars":4096},"cells_cut":0,"cells_raw":0,"read":"whole","date_system":"1900","formulas":"cached_only"}

{"sheet":"report2","index":0,"n_rows":21,"n_cols":5,"rows_kept":21,"cut":false,"hidden":false,"merged":[[0,2,0,3],[0,4,0,5],[1,2,1,3],[1,4,1,5],[2,2,2,3],[2,4,2,5],[3,2,3,3],[4,2,4,3],[7,2,7,3],[8,2,8,3],[9,2,9,3],[10,2,10,3],[12,2,12,3],[13,2,13,3],[17,2,17,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910458474003321"]
[null,null,"Autore",null,"Cupillari Antonella"]
[null,null,"Titolo",null,"The nuts and bolts of proofs [[electronic resource] /] / Antonella Cupillari"]
[null,null,"Pubbl/distr/stampa",null,"Amsterdam ; ; Boston, : Elsevier Academic Press, c2005"]
[null,null,"ISBN",null,"1-281-05681-2"]
[{"$nulls":4},"9786611056810"]
[{"$nulls":4},"0-08-053790-1"]
[null,null,"Edizione",null,"[3rd ed.]"]
[null,null,"Descrizione fisica",null,"1 online resource (193 p.)"]
[null,null,"Disciplina",null,"511.3/6"]
[null,null,"Soggetti",null,"Proof theory"]
[{"$nulls":4},"Electronic books."]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Description based upon print version of record."]
[null,null,null,"Nota di bibliografia","Includes bibliographical references (p. 173-176) and index."]
[null,null,"Nota di contenuto",null,"Front 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"]
[{"$nulls":4},"Composite 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"]
[null,null,null,"Sommario/riassunto","The 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 "]
[{"$nulls":4},"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"]