Written in a clear and reader-friendly style, each section ends with an extensive set of exercises, most of them provided with complete solutions which are available in this accompanying solutions manual.
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.