Logic Colloquium '02: Lecture Notes in Logic 27 - Hardcover

Hardcover

ISBN 10: 1568813007 ISBN 13: 9781568813004

Publisher: A K Peters/CRC Press, 2006

Synopsis

Logic Colloquium '02 includes articles from some of the world's preeminent logicians. The topics span all areas of mathematical logic, but with an emphasis on Computability Theory and Proof Theory. This book will be of interest to graduate students and researchers in the field of mathematical logic.

About this title

About the Author

Zoe Chatzidakis is a researcher at the CNRS, attached to the Universite Paris 7 - Denis Diderot (France). She works on model theory applied to algebraic structures. Peter Koepke is a professor at the University of Bonn, Germany. His research concentrates on set theory and inner models. Wolfram Pohlers is a professor at the Institute for Mathematical Logic in Munster, Germany. His research focuses on infinitary proof theory and its applications.

Synopsis

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.

About this edition

• Publisher: A K Peters/CRC Press
• Publication date: 2006
• ISBN 10: 1568813007
• ISBN 13: 9781568813004
• Binding: Hardcover
• Language: English
• Edition number: 1
• Number of pages: 376
• Editor: Chatzidakis Zoe, Koepke Peter, Pohlers Wolfram