Articles liés à Logic Colloquium '02

9781568813011: Logic Colloquium '02

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

À propos des auteurs

Zoe Chatzidakis Department of Mathematics University of Paris 7 Peter Koepke Mathematical Institute University of Bonn Wolfram Pohlers Institute for Mathematical Logic and Foundational Research University of Munster

Zoé Chatzidakis is a researcher at the CNRS, attached to the Université 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 Münster, Germany. His research focuses on in?nitary proof theory and its applications.

À propos de la quatrième de couverture

Logic Colloquium '02 includes articles from some of the world's preeminent logicians

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.