 BROWSE
 USED
 STAFF PICKS
 GIFTS + GIFT CARDS
 SELL BOOKS
 BLOG
 EVENTS
 FIND A STORE
 800.878.7323

$50.25
New Trade Paper
Ships in 1 to 3 days
available for shipping or prepaid pickup only
Available for Instore Pickup
in 7 to 12 days
More copies of this ISBNOther titles in the Springer Undergraduate Mathematics series:
Elements of Logic Via Numbers and Sets (Springer Undergraduate Mathematics Series)by D. L. Johnson
Synopses & ReviewsPublisher Comments:In mathematics we are interested in why a particular formula is true. Intuition and statistical evidence are insufficient, so we need to construct a formal logical proof. The purpose of this book is to describe why such proofs are important, what they are made of, how to recognize valid ones, how to distinguish different kinds, and how to construct them. This book is written for 1st year students with no previous experience of formulating proofs. Dave Johnson has drawn from his considerable experience to provide a text that concentrates on the most important elements of the subject using clear, simple explanations that require no background knowledge of logic. It gives many useful examples and problems, many with fullyworked solutions at the end of the book. In addition to a comprehensive index, there is also a useful `Dramatis Personae` an index to the many symbols introduced in the text, most of which will be new to students and which will be used throughout their degree programme.
Description:Includes bibliographical references (p. [165]) and index.
Table of ContentsIntroduction. Numbers. Logic. Sets. Relations. Mappings. Cardinal Numbers. Solutions to Selected Excercises. Guide to Literature. Index. Dramatis Personae.
What Our Readers Are SayingBe the first to add a comment for a chance to win!Product Details
Other books you might likeRelated SubjectsScience and Mathematics » Mathematics » Algebra » Abstract Algebra Science and Mathematics » Mathematics » Foundations and Logic Science and Mathematics » Mathematics » General Science and Mathematics » Mathematics » Logic and Philosophy 

