David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jonathan Jenkins Ichikawa
Jack Alan Reynolds
Learn more about PhilPapers
Cambridge University Press (2006)
Geared to preparing students to make the transition from solving problems to proving theorems, this text teachs them the techniques needed to read and write proofs. The book begins with the basic concepts of logic and set theory, to familiarize students with the language of mathematics and how it is interpreted. These concepts are used as the basis for a step-by-step breakdown of the most important techniques used in constructing proofs. To help students construct their own proofs, this new edition contains over 200 new exercises, selected solutions, and an introduction to Proof Designer software. No background beyond standard high school mathematics is assumed. Previous Edition Hb (1994) 0-521-44116-1 Previous Edition Pb (1994) 0-521-44663-5.
|Keywords||Logic, Symbolic and mathematical Mathematics|
|Categories||categorize this paper)|
|Buy the book||$23.32 used (42% off) $24.32 new (40% off) $36.00 direct from Amazon (10% off) Amazon page|
|Call number||QA9.V38 2006|
|ISBN(s)||0521675995 9780521861243 0521861241 9780521675994|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Ian Chiswell (2007). Mathematical Logic. Oxford University Press.
P. T. Johnstone (1987). Notes on Logic and Set Theory. Cambridge University Press.
Alfred Tarski (1994). Introduction to Logic and to the Methodology of the Deductive Sciences. Oxford University Press.
Graeme Forbes (1994). Modern Logic: A Text in Elementary Symbolic Logic. Oxford University Press.
René Cori (2000). Mathematical Logic: A Course with Exercises. Oxford University Press.
Imre Lakatos (ed.) (1976). Proofs and Refutations: The Logic of Mathematical Discovery. Cambridge University Press.
Peter Smith (2012). An Introduction to Gödel's Theorems. Cambridge University Press.
Added to index2009-01-28
Total downloads19 ( #214,392 of 1,938,529 )
Recent downloads (6 months)1 ( #449,299 of 1,938,529 )
How can I increase my downloads?