A mathematical introduction to the theory and applications of logic and set theory with an emphasis on writing proofs Highlighting the applications and notation

Rigorous introduction is simple enough in presentation and context for wide range of students. Symbolizing sentences; logical inference; truth and validity; tru

Explores sets and relations, the natural number sequence and its generalization, extension of natural numbers to real numbers, logic, informal axiomatic mathema

Set theory can be considered a unifying theory for mathematics. This book covers the fundamentals of the subject.

1. The ?rst edition of this book was published in 1977. The text has been well received and is still used, although it has been out of print for some time. In t