Proof and the art of mathematics

Cambridge, Massachusetts: The MIT Press (2020)
  Copy   BIBTEX

Abstract

A textbook for students who are learning how to write a mathematical proof, a validation of the truth of a mathematical statement.

Categories

Keywords

Reprint years

Call number

QA9.54.H345 2020

ISBN(s)

9780262539791   0262539799

Other Versions

No versions found

View all bargains

Buy this book

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,551

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Proof and the art of mathematics: examples and extensions.Joel David Hamkins - 2021 - Cambridge, Massachusetts: The MIT Press.
Mathematical Logic: An Introduction.Daniel Cunningham - 2023 - Boston: De Gruyter.
Introduction to proofs and proof strategies.Shay Fuchs - 2024 - New York, NY: Cambridge University Press.
Introduction to mathematical proof: a transition to advanced mathematics.Charles E. Roberts - 2015 - Boca Raton: CRC Press, Taylor & Francis Group.
The Development of Logical Argument Through the Teaching of Mathematical Proof.Emily Macmillan - 2003
Proof, Logic, and Conjecture: The Mathematician's Toolbox.Robert S. Wolf - 1997 - W. H. Freeman.
[Omega]-Bibliography of Mathematical Logic.G. H. Müller, Wolfgang Lenski, Jane E. Kister, D. van Dalen & A. S. Troelstra - 1987
Proof, Logic and Formalization.Michael Detlefsen (ed.) - 1992 - London, England: Routledge.
Truth, Proof and Formal Methods: Philosophical Background.Gerard O'Regan - 1995 - Trinity College, Department of Computer Science.
An introduction to mathematical logic and type theory: to truth through proof.P. B. Andrews - 1986 - Orlando: Academic Press.

Analytics

Added to PP
2022-12-03

Downloads
13 (#1,326,944)

6 months
4 (#1,258,347)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Joel David Hamkins
Oxford University

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references