How to Prove It

DOI10.1017/9781108539890MaRDI QIDQ5220422zbMATH OpenOpenAlexFDO

Authors Daniel J. Velleman

Publication date 20 March 2020

Full work available at URL https://doi.org/10.1017/9781108539890

zbMATH Keywords

functionsinfinite setsmathematical inductionprime numbersquantificational logicrelationssentential logicstructured proving techniques

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematics in general (00-01) Methodology of mathematics (00A35) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)

Recommendations

• How to prove it. A structured approach
• scientific article; zbMATH DE number 716832
• scientific article; zbMATH DE number 5724236
• Proofs, Proofs, Proofs, and Proofs

Cited in

(16)

• The nuts and bolts of proofs.
• The tools of mathematical reasoning
• 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?)
• Design patterns for mathematical proofs. A guide, in particular for computer scientists
• scientific article; zbMATH DE number 6168901 (Why is no real title available?)
• The nuts and bolts of proofs. An introduction to mathematical proofs
• How to prove it. A structured approach
• An introduction to mathematical proofs
• Building proofs. A practical guide
• Exploring mathematics. An engaging introduction to proof
• Understanding mathematical proof
• Proof and the art of mathematics. Examples and extensions
• Logical methodology and the structure of logic syllabi
• How to write a 21\(^{\text{st}}\) century proof

This page was built for publication: How to Prove It

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5220422)