A Logical Introduction to Proof

DOI10.1007/978-1-4614-3631-7zbMath1251.97005OpenAlexW43605604MaRDI QIDQ2881334

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) Reasoning and proving in the mathematics classroom (97E50) Logic (educational aspects) (97E30) Language of mathematics (educational aspects) (97E40) Sets, relations, set theory (educational aspects) (97E60)

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