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 access cards, study guides, lab manuals, CDs, etc.
The eBook copy of this book is not guaranteed to include any supplemental materials. Typically, only the book itself is included. This is true even if the title states it includes any access cards, study guides, lab manuals, CDs, 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.