A Logical Approach to Discrete Math (Texts and Monographs in Computer Science)

Here, the authors strive to change the way logic and discrete math are taught in computer science and mathematics: while many books treat logic simply as another topic of study, this one is unique in its willingness to go one step further. The book traets logic as a basic tool which may be applied in essentially every other area.

• | Author: David Gries
• | Publisher: Springer
• | Publication Date: October 22, 1993
• | Number of Pages: 516 pages
• | Language: English
• | Binding: Hardcover
• | ISBN-10: 0387941150
• | ISBN-13: 9780387941158