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