How to prove it. A structured approach
From MaRDI portal
Publication:5200633
zbMATH Open1101.00008MaRDI QIDQ5200633FDOQ5200633
Authors: Daniel J. Velleman 
Publication date: 10 April 2006
Recommendations
- How to Prove It
- scientific article; zbMATH DE number 716832
- Mathematical foundations of computer science. Mathematical thinking and proving. An introduction.
- Proofs and fundamentals. A first course in abstract mathematics
- An introduction to mathematical logic and type theory: To truth through proof.
relationsprime numbersfunctionsproblem-solvingmathematical inductioninfinite setsquantificational logicsentential logicstructured proving techniques
Methodology of mathematics (00A35) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematics in general (00-01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)
Cited In (18)
- The nuts and bolts of proofs.
- Title not available (Why is that?)
- Mathematical knowledge representation: semantic models and formalisms
- Introduction to mathematical proofs. A transition to advanced mathematics
- How to Prove It
- The nuts and bolts of proofs. An introduction to mathematical proofs
- How to write a 21\(^{\text{st}}\) century proof
- Title not available (Why is that?)
- Exploring mathematics. An engaging introduction to proof
- RIGOUR AND PROOF
- MATHEMATICAL RIGOR AND PROOF
- Building proofs. A practical guide
- The little prover. With a foreword by J. Strother Moore. With an afterword by Matthias Felleisen
- Why mathematics needs engineering
- How to read and do proofs. An introduction to mathematical thought processes
- An introduction to mathematical proofs
- Title not available (Why is that?)
- The mathematical proofs. Complete course with 127 solved exercises. With a preface by Gilles Dowek
This page was built for publication: How to prove it. A structured approach
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5200633)
