How to Prove It

DOI10.1017/9781108539890zbMATH Open1433.00003OpenAlexW4245196853MaRDI QIDQ5220422

Daniel J. Velleman

Publication date: 20 March 2020

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

zbMATH Keywords

relationssentential logicfunctionsprime numbersmathematical inductioninfinite setsquantificational logicstructured proving techniques

Mathematics Subject Classification ID

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

Related Items (2)

How to write a 21\(^{\text{st}}\) century proof ⋮ Logical methodology and the structure of logic syllabi

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Proofs, Proofs, Proofs, and Proofs 👍 👎

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)