Mathematical Logic in Latin America, Proceedings of the IV Latin American Symposium on Mathematical Logic

Recursive Model Theory

On the Compactification of Moduli Spaces for Algebraic $K3$ Surfaces

Foundations of Symmetric Spaces of Measurable Functions: Lorentz, Marcinkiewicz and Orlicz Spaces

Hausdorff Gaps and Limits

Logical Frameworks for Truth and Abstraction: An Axiomatic Study

Admissibility of Logical Inference Rules

Handbook of Proof Theory

Geometry and Nature: In Memory of W.K. Clifford : a Conference on New Trends in Geometrical and Topological Methods in Memory of William Kingdon Clifford, July 30-August 5, 1995, Madeira, Portugal

Handbook of Computability Theory

Ordered Algebraic Structures: Proceedings of the Gainesville Conference Sponsored by the University of Florida 28th February — 3rd March, 2001

Categorical Logic and Type Theory

Computable Structures and the Hyperarithmetical Hierarchy