Elements of Logic via Numbers and Sets

  • D. L. Johnson

Part of the Springer Undergraduate Mathematics Series book series (SUMS)

Table of contents

  1. Front Matter
    Pages i-x
  2. D. L. Johnson
    Pages 1-33
  3. D. L. Johnson
    Pages 35-51
  4. D. L. Johnson
    Pages 53-70
  5. D. L. Johnson
    Pages 71-88
  6. D. L. Johnson
    Pages 89-111
  7. D. L. Johnson
    Pages 113-130
  8. Back Matter
    Pages 131-174

About this book


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.


Addition Arithmetic Cantor Cardinal number Countable set Equivalence mathematics proof proof by contradiction theorem well-ordering principle

Authors and affiliations

  • D. L. Johnson
    • 1
  1. 1.Department of MathematicsUniversity of NottinghamNottinghamUK

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag London Limited 1998
  • Publisher Name Springer, London
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-76123-5
  • Online ISBN 978-1-4471-0603-6
  • Series Print ISSN 1615-2085
  • Buy this book on publisher's site