【本书目录】 Contents. Preface About the Author To the Student LIST OF SYMBOLS 1 The Foundations: Logic and Proofs 1.1 Propositional Logic 1.2 Propositional Equivalences 1.3 Predicates and Quantifiers 1.4 Nested Quantifiers 1.5 Rules oflnference 1.6 Introduction to Proofs 1.7 Proof Methods and Strategy End-of-Chapter Material 2 Basic Structures: Sets, Functions, Sequences, and Sums 2.1 Sets 2.2 Set Operations 2.3 Functions 2.4 Sequences and Summations