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

ISBN: 9780387941158

出版社: Springer

出版年: 1993-10-22

页数: 516

定价: USD 74.95

装帧: Hardcover

内容简介

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.