Logic Colloquium '02: Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic And the Colloquium Logicum, Held in ... Logicum (Lecture Notes in Logic, 27, Band 27) - Hardcover
Buch 30 von 39: Lecture Notes in Logic
Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Über die Autorin bzw. den Autor
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
