The handbook is divided into four parts: model theory, set theory, recursion theory and proof theory. Each of the four parts begins with a short guide to the ch

The chapters of this volume all have their own level of presentation. The topics have been chosen based on the active research interest associated with them. Si

Since Poincaré's time, topologists have been most concerned with three species of manifold. The most primitive of these--the TOP manifolds--remained rather mys

Alan Turing (1912–1954) made seminal contributions to mathematical logic, computation, computer science, artificial intelligence, cryptography and theoretical

Contributions to Mathematical Logic