Table of Contents

Preface vii

About the Companion Website ix

1. Preliminaries 1

2. Sets, Relations, Orders 5

3. Propositional Logic 29

4. First-Order Logic 57

5. Number Theory 99

6. Combinatorics 130

7. Graph Theory 159

About the Author

Willem Conradie is a senior lecturer in the Department of Mathematics at the University of Johannesburg, South Africa. For the past 9 years he has been teaching second and third year undergraduate courses based on drafts of the proposed book. Valentin Goranko is an associate professor at the Department of Informatics and Mathematical Modeling of the Technical University of Denmark. His main research interests are in theory and applications of logic to computer science and artificial intelligence. He has published about 75 authored and co-authored research papers and 3 chapters in research books and handbooks. Claudette Robinson is a PhD student and lecturer in the Department of Mathematics at the University of Johannesburg, South Africa.