John R. Steel is Professor of Mathematics at the University of California, Berkeley. Prior to that, he was a professor in the mathematics department at the University of California, Los Angeles. He is a recipient of the Carol Karp Prize of the Association for Symbolic Logic and of a Humboldt Prize. Steel is also a former Fellow at the Wissenschaftskolleg zu Berlin and the Sloan Foundation.
19 หนังสืออิเล็กทรอนิกส์โดย Benedikt Lowe
S.B. Cooper & Benedikt Löwe: New Computational Paradigms
In recent years, classical computability has expanded beyond its original scope to address issues related to computability and complexity in algebra, analysis, and physics. The deep interconnection b …
PDF
อังกฤษ
€149.79
Shier Ju & Benedikt Löwe: Cultures of Mathematics and Logic
This book gathers the proceedings of the conference ‘Cultures of Mathematics and Logic, ‘ held in Guangzhou, China. The event was the third in a series of interdisciplinary, international conferences …
PDF
อังกฤษ
€96.29
Benedikt Löwe & Dag Normann: Models of Computation in Context
This book constitutes the refereed proceedings of the 7th Conference on Computability in Europe, Ci E 2011, held in Sofia, Bulgaria, in June/July 2011. The 22 revised papers presented together with 1 …
PDF
อังกฤษ
DRM
€71.39
Alexander S. Kechris & Benedikt Lowe: Wadge Degrees and Projective Ordinals
…
PDF
อังกฤษ
DRM
€180.51
Alexander S. Kechris & Benedikt Lowe: Ordinal Definability and Recursion Theory: Volume 3
…
EPUB
อังกฤษ
DRM
€204.61
Alexander S. Kechris & Benedikt Lowe: Ordinal Definability and Recursion Theory: Volume 3
…
PDF
อังกฤษ
DRM
€204.11
Benedikt Lowe & Boris Piwinger: Classical and New Paradigms of Computation and their Complexity Hierarchies
The notion of complexity is an important contribution of logic to theoretical computer science and mathematics. This volume attempts to approach complexity in a holistic way, investigating mathematic …
PDF
อังกฤษ
DRM
€229.99
Arnold Beckmann & Ulrich Berger: Logical Approaches to Computational Barriers
Ci E 2006: Logical Approaches to Computational Barriers Swansea, Wales, June 30 – July 5, 2006 Computability in Europe (Ci E) is an informal network of European scientists working on computability th …
PDF
อังกฤษ
DRM
€113.77
Arnold Beckmann & Costas Dimitracopoulos: Logic and Theory of Algorithms
Ci E 2008: Logic and Theory of Algorithms Athens, Greece, June 15-20, 2008 Computability in Europe (Ci E) is an informal network of European scientists working on computability theory, including its …
PDF
อังกฤษ
DRM
€115.63
Klaus Ambos-Spies & Benedikt Lowe: Mathematical Theory and Computational Practice
…
PDF
อังกฤษ
DRM
€57.90
Margaret Archibald & Vasco Brattka: Infinity in Logic and Computation
Edited in collaboration with Fo LLI, the Association of Logic, Language and Information, this volume constitutes a selection of papers presented at the Internatonal Conference on Infinity in Logic an …
PDF
อังกฤษ
DRM
€57.46
Barry S. Cooper & Anuj Dawar: How the World Computes
This book constitutes the refereed proceedings of the Turing Centenary Conference and the 8th Conference on Computability in Europe, Ci E 2012, held in Cambridge, UK, in June 2012. The 53 revised pap …
PDF
อังกฤษ
DRM
€57.84
Paola Bonizzoni & Vasco Brattka: Nature of Computation: Logic, Algorithms, Applications
This book constitutes the refereed proceedings of the 9th Conference on Computability in Europe, Ci E 2013, held in Milan, Italy, in July 2013. The 48 revised papers presented together with 1 invited …
PDF
อังกฤษ
DRM
€57.89
Benedikt Lowe & Wolfgang Malzkorn: Foundations of the Formal Sciences II
"Foundations of the Formal Sciences" (Fot FS) is a series of interdisciplinary conferences in mathematics, philosophy, computer science and linguistics. The main goal is to reestablish the …
PDF
อังกฤษ
DRM
€115.19
