Covers the usual topics in discrete math, however, the treatment is different in that formal logic is employed in each topic, rather than being viewed as another subject of study. Numerous worked out
From the reviews: "This book offers a coherent treatment, at the graduate textbook level, of the field that has come to be known in the last decade or so as computational geometry. ... ... The book is
