This is the 3rd edition with a publication date of 3/19/2012.
What is included with this book?
The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any CDs, lab manuals, study guides, etc.
This text helps bridge computationally oriented mathematics with more theoretically oriented mathematics, preparing readers for more advanced courses that require understanding proofs. It covers logic, set theory, axiomatics, number systems, and reading, evaluating, and creating proofs. This third edition includes some of the more modern topics from theoretical computer science, such as the P/NP problem, Boolean algebra, and Church's thesis. Along with new problems and examples, it also illustrates logic in action and discusses topics from the real number system and topology.