Cambridge University Press (2006)
|Abstract||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|
|Buy the book||$14.00 used (58% off) $20.98 new (37% off) $27.71 direct from Amazon (17% off) Amazon page|
|Call number||QA9.V38 2006|
|ISBN(s)||0521675995 9780521861243 0521861241 9780521675994|
|Through your library||Configure|
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 (1976). Proofs and Refutations: The Logic of Mathematical Discovery. Cambridge University Press.
Peter Smith (2007). An Introduction to Gödel's Theorems. Cambridge University Press.
Added to index2009-01-28
Total downloads11 ( #99,396 of 548,969 )
Recent downloads (6 months)2 ( #37,438 of 548,969 )
How can I increase my downloads?