Introduction to proof in abstract mathematics

Mineola, N.Y.: Dover Publications (2011)
  Copy   BIBTEX

Abstract

Originally published: Philadelphia: Saunders College Pub., c1990.

Categories

Keywords

Reprint years

Call number

QA9.54.W64 2011

ISBN(s)

9780486478548
View all bargains

Buy this book

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,438

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 in Mathematics: An Introduction.James Franklin - 1996 - Sydney, Australia: Quakers Hill Press.
Proof in mathematics ("if", "then" and "perhaps"): a collection of material illustrating the nature and variety of the idea of proof in mathematics.P. R. Baxandall (ed.) - 1978 - [Keele]: University of Keele, Institute of Education.
Proof theory in philosophy of mathematics.Andrew Arana - 2010 - Philosophy Compass 5 (4):336-347.
.[author unknown] - unknown
Evolution of mathematical proof.Marian Mrozek & Jacek Urbaniec - 1997 - Foundations of Science 2 (1):77-85.
What rests on what? The proof-theoretic analysis of mathematics.Solomon Feferman - 1993 - In J. Czermak (ed.), Philosophy of Mathematics. Hölder-Pichler-Tempsky. pp. 1--147.
Intuitionism and proof theory.A. Kino, John Myhill & Richard Eugene Vesley (eds.) - 1970 - Amsterdam,: North-Holland Pub. Co..
The moment of proof: mathematical epiphanies.Donald C. Benson - 1999 - New York: Oxford University Press.
An Introduction to Mathematical Reasoning: Lectures on Numbers, Sets, and Functions.Peter J. Eccles - 1997 - Cambridge University Press.
On constructive interpretation of predicative mathematics.Charles Parsons - 1990 - New York: Garland.

Analytics

Added to PP
2010-11-21

Downloads
19 (#783,934)

6 months
8 (#346,782)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A Methodology for Teaching Logic-Based Skills to Mathematics Students.Arnold Cusmariu - 2016 - Symposion: Theoretical and Applied Inquiries in Philosophy and Social Sciences 3 (3):259-292.
Getting a little closure for closure.James Simpson - 2021 - Synthese 199 (5-6):12331-12361.

Add more citations

References found in this work

No references found.

Add more references