A Logical Introduction to Proof

DOI10.1007/978-1-4614-3631-7MaRDI QIDQ2881334zbMATH OpenOpenAlexFDO

Authors Daniel W. Cunningham

Publication date 4 April 2012

Full work available at URL https://doi.org/10.1007/978-1-4614-3631-7

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Classical propositional logic (03B05) Proof theory in general (including proof-theoretic semantics) (03F03) Logic (educational aspects) (97E30) Language of mathematics (educational aspects) (97E40) Reasoning and proving in the mathematics classroom (97E50) Sets, relations, set theory (educational aspects) (97E60)

Recommendations

• scientific article; zbMATH DE number 1215493
• scientific article; zbMATH DE number 3316009
• Introduction to proof theory
• scientific article; zbMATH DE number 515725
• Proof theory. An introduction
• Logic of proofs
• An introduction to mathematical proofs
• Introduction to logic
• scientific article; zbMATH DE number 2199903

Cited in

(3)

• The elements of advanced mathematics.
• Introduction to mathematical proofs. A transition
• Ancient Greek mathematical proofs and metareasoning

This page was built for publication: A Logical Introduction to Proof

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