Get Free Shipping on orders over $79
Elements of Logic via Numbers and Sets : Springer Undergraduate Mathematics Series - D.L. Johnson

Elements of Logic via Numbers and Sets

By: D.L. Johnson

Paperback | 25 September 1998

At a Glance

Paperback


$59.99

or 4 interest-free payments of $15.00 with

 or 

Ships in 5 to 7 business days

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 fully-worked 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.
Industry Reviews
From the reviews: "It took me a while to appreciate the need for a course intended to introduce mathematics undergraduates to advanced mathematics after they finish the calculus sequence. ... This was the first book I found that seems really close to the core. It is well-written and very well suited to such a course." (James M. Cargal, UMAP Journal, Vol. 31 (1), 2010)

More in Mathematical Logic

Current Trends in Automated Reasoning - Erika Bach
Handbook of Automated Reasoning - Rachel Phillips
Advances in Automated Reasoning - Rachel Phillips
Unequal : The Maths of When Things Do and Don't Add Up - Eugenia Cheng
The Language of Mathematics : The Stories behind the Symbols - Raul Rojas
Essays in Analysis : Routledge Revivals - Alice Ambrose
Mathematical Puzzles : Revised Edition - Peter  Winkler

RRP $56.99

$52.75

Fuzzy Logic : An Introductory Text - Lukas Brooks
Modern Mathematical Logic - Agustin Willmott