Logic Colloquium '02 - Lecture Notes in Logic 27 (Paperback, New)

This book is a compilation of papers presented at the 2002 European Summer Meeting of the Association for Symbolic Logic and the associated Colloquium Logicum 2002 conference. It includes tutorials and research articles from some of the world's preeminent logicians. The topics presented span all areas of mathematical logic, with a particular emphasis on Computability Theory and Proof Theory.