This book presents mathematical logic from the syntactic point of view with an emphasis on
aspects that are fundamental to computer science. It is an excellent introduction for graduate
students and advanced undergraduates interested in logic in mathematics computer science and
philosophy and an invaluable reference for professional logicians.