TY  - BOOK
AU  - Conradie,Willem
AU  - Goranko,Valentin
TI  - Logic and discrete mathematics: a concise introduction 
SN  - 9781118751275 (pbk.)
U1  - 511.3 23
PY  - 2015///
CY  - Chichester
PB  - John Wiley
KW  - Symbolic and mathematical logic
KW  - Computer science
KW  - Mathematics
N1  - Includes index; 1. Preliminaries --
2. Sets, relations, orders --
3. Propositional logic --
4. First-order logic --
5. Number theory --
6. Combinatorics --
7. Graph theory --
Index
N2  - This book features a unique combination of comprehensive coverage of logic with a solid exposition of the most important fields of discrete mathematics, presenting material that has been tested and refined by the authors in university courses taught over more than a decade. The chapters on logic - propositional and first-order - provide a robust toolkit for logical reasoning, emphasizing the conceptual understanding of the language and the semantics of classical logic as well as practical applications through the easy
ER  -