Introduction to Mathematical Proofs: A Transition
Crc Press (2009)
| Abstract | The book includes more than 75 examples and more than 600 problems. A solutions manual is available upon qualifying course adoptions. | |||||||||
| Keywords | Proof theory Logic, Symbolic and mathematical | |||||||||
| Categories | ||||||||||
| Buy the book | $81.61 new (19% off) $90.75 direct from Amazon (10% off) Amazon page | |||||||||
| Call number | QA9.54.R63 2009 | |||||||||
| ISBN(s) | 9781420069556 1420069551 | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,664 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesIan J. Dove (2009). Towards a Theory of Mathematical Argument. Foundations of Science 14 (1-2):136-152.
Paul C. Rosenbloom (1950/2005). The Elements of Mathematical Logic. New York]Dover Publications.
Daniel J. Velleman (2006). How to Prove It: A Structured Approach. Cambridge University Press.
Imre Lakatos (1976). Proofs and Refutations: The Logic of Mathematical Discovery. Cambridge University Press.
Andrew Aberdein (2006). Proofs and Rebuttals: Applying Stephen Toulmin's Layout of Arguments to Mathematical Proof. In Marta Bílková & Ondřej Tomala (eds.), The Logica Yearbook 2005. Filosofia.
Hao Wang (1981/1993). Popular Lectures on Mathematical Logic. Dover Publications.
David J. Pym (2004). Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control. Oxford University Press.
Analytics
Monthly downloads |
Added to index2009-09-15Total downloads4 ( #178,517 of 549,010 )Recent downloads (6 months)2 ( #37,272 of 549,010 )How can I increase my downloads? |
My notes
Discussion
