Discrete Mathematics - Jean Gallier - Bog

This books gives an introduction to discrete mathematics for beginning undergraduates. One of original features of this book is that it begins with a presentation of the rules of logic as used in mathematics. With this logical framework firmly in place, the book describes the major axioms of set theory and introduces the natural numbers.