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

The description for this book, Degrees of Unsolvability. (AM-55), Volume 55, will be forthcoming.

Contributions to Mathematical Logic

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