Benedikt Löwe

· 25 obras en el catálogo

Obras

PhiMSAMP

FFoundations of the formal sciences VI

Foundations of the formal sciences VI

TThe Cabal seminar

The Cabal seminar

New computational paradigms

Classical and new paradigms of computation and their complexity hierarchies

Computation and Logic in the Real World

Logical approaches to computational barriers

Models of Computation in Context

New computational paradigms

Wadge degrees and projective ordinals

Foundations of the formal sciences II

Foundations of the formal sciences

Cultures of Mathematics and Logic

GGames, Scales and Suslin Cardinals

Games, Scales and Suslin Cardinals

LLogic and Theory of Algorithms

Logic and Theory of Algorithms

OOrdinal Definability and Recursion Theory

Ordinal Definability and Recursion Theory

Cabal Seminar 4 Volume Hardback Set

LLarge Cardinals, Determinacy and Other Topics : Volume 4

Large Cardinals, Determinacy and Other Topics : Volume 4

MMathematical Theory and Computational Practice

Mathematical Theory and Computational Practice

PPrograms, Proofs, Processes

Programs, Proofs, Processes

LLarge Cardinals, Determinacy and Other Topics

Large Cardinals, Determinacy and Other Topics

IInfinity in Logic and Computation

Infinity in Logic and Computation

LLogic and the Foundations of Game and Decision Theory - LOFT

Logic and the Foundations of Game and Decision Theory - LOFT 8

GGames, Scales and Suslin Cardinals Vol. 1

Games, Scales and Suslin Cardinals Vol. 1