Cover Image

100% mathematical proof /

Bibliographic Details
Main Author: Garnier, Rowan (Author)
Other Authors: Taylor, John, 1957-
Format: Book
Language:English
Published: Chichester ; New York : Wiley, [1996]
Subjects:
Proof theory.
Logic, Symbolic and mathematical.
Théorie de la preuve.
Logique symbolique et mathématique.
Logic, Symbolic and mathematical
Proof theory
Beweistheorie
Bewijstheorie.
Mathematical logic
Online Access:Table of contents
Table of contents
Table of contents
Publisher description
Table of Contents:
  • 1. Proofs, Mathematical and Non-mathematical
  • 2. Propositional Logic
  • 3. Predicate Logic
  • 4. Axiom Systems and Formal Proof
  • 5. Direct Proof
  • 6. Direct Proof: Variations
  • 7. Existence and Uniqueness Proofs
  • 8. Further Proof Techniques
  • 9. Mathematical Induction
  • Appendix: Some Definitions and Terminology.