WHAT IS MATHEMATICAL LOGIC ?

This stimulating introduction draws together in a readable form the major issues and recent developments of modern mathematical logic. Gödel's theorems, computability and recursive functions, and consistency and independence in axiomatic set theory, are all clearly explained. Both the non-logician and the reader embarking on serious study of the subject will find this book invaluable.