De Gruyter Series in Logic and Its Applications

Recursion Theory and Complexity: Proceedings of the Kazan '97 Workshop, Kazan, Russia, July 14–19, 1997

Fine Structure and Class Forcing

Aspects of Complexity: Minicourses in Algorithmics, Complexity and Computational Algebra. Mathematics Workshop, Kaikoura, January 7-15, 2000

Inner Models and Large Cardinals

One Hundred Years of Russell ́s Paradox: Mathematics, Logic, Philosophy

The Determinacy of Long Games

Recursion Theory: Computational Aspects of Definability

Recursion Theory: Computational Aspects of Definability

Ordinal Computability: An Introduction to Infinitary Machines

Ordinal Computability: An Introduction to Infinitary Machines

The Ultrapower Axiom

The Ultrapower Axiom

Model Theory of Operator Algebras

Model Theory of Operator Algebras

Automatic Complexity: A Computable Measure of Irregularity

Automatic Complexity: A Computable Measure of Irregularity