This text attempts to change the way logic and discrete mathematics are taught. While many books treat logic simply as another topic of study, this book treats logic as a basic tool to be applied in essentially every other area. The book is organized so that selected chapters can either be studied together or used as a reference. The core of the book consists of textual substitution, equality and assignment, Boolean expressions, propositional calculus, quantification and predicate calculus. The remaining chapters can be selected according to individual course outlines.
- ISBN10 3540941150
- ISBN13 9783540941156
- Publish Date November 1993
- Publish Status Out of Print
- Out of Print 26 December 2011
- Publish Country DE
- Publisher Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Imprint Springer-Verlag Berlin and Heidelberg GmbH & Co. K
- Edition 3rd Corr Print ed.
- Format Hardcover
- Pages 513
- Language English