Theory and Applications of Models of Computation
3 contributors - Paperback
£44.99
Françoise Delon was Directrice d'études at the Centre de Formation des PEGC of Reims and Humboldt Stipendiatin at Freiburg and is presently a Directrice de Recherche at Centre National de la Recherche Scientifique. Ulrich Kohlenbach is a Professor of Mathematics at TU Darmstadt (Germany). He is the coordinating editor of Annals of Pure and Applied Logic and the President of the Deutsche Vereinigung für Mathematische Logik und für Grundlagen der Exakten Wissenschaften. Penelope Maddy is a Distinguished Professor of Logic and Philosophy of Science at the University of California, Irvine. She is a Fellow of the American Academy of Arts and Sciences and currently the President of the Association for Symbolic Logic. Frank Stephan is an Associated Professor in the Departments of Mathematics and Computer Science at the National University of Singapore. He is the editor of the Journal of Symbolic Logic.