How to prove it. A structured approach
From MaRDI portal
Publication:5200633
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.
Cited in
(18)- MATHEMATICAL RIGOR AND PROOF
- The nuts and bolts of proofs.
- The nuts and bolts of proofs. An introduction to mathematical proofs
- scientific article; zbMATH DE number 716832 (Why is no real title available?)
- An introduction to mathematical proofs
- Exploring mathematics. An engaging introduction to proof
- Mathematical knowledge representation: semantic models and formalisms
- scientific article; zbMATH DE number 6168901 (Why is no real title available?)
- Building proofs. A practical guide
- Introduction to mathematical proofs. A transition to advanced mathematics
- Why mathematics needs engineering
- How to Prove It
- RIGOUR AND PROOF
- How to write a 21\(^{\text{st}}\) century proof
- The little prover. With a foreword by J. Strother Moore. With an afterword by Matthias Felleisen
- The mathematical proofs. Complete course with 127 solved exercises. With a preface by Gilles Dowek
- How to read and do proofs. An introduction to mathematical thought processes
- scientific article; zbMATH DE number 47247 (Why is no real title available?)
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)
