Author: Claudette Robinson

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 Ph D student and lecturer in the Department of Mathematics at the University of Johannesburg, South Africa.