Cambridge Revivals - Logic, Categories and Sets

Brouwer's Cambridge Lectures on Intuitionism

Dalen, D. van
Brouwer, Luitzen Egbertus Jan
Published: April 2011

The Logic of Quantum Mechanics

Beltrametti, Enrico G.
Cassinelli, Gianni
Rota, Gian-Carlo
Published: December 2010
Volume 15

Multiple-Conclusion Logic

Shoesmith, D. J.
Smiley, T. J.
Published: January 2009

The Unprovability of Consistency

An Essay in Modal Logic

Boolos, George
Published: January 2009

Mathematical Logic with Special Reference to the Natural Numbers

Steen, S. W. P.
Published: November 2008

Consequences of Martin's Axiom

Fremlin, D. H.
Published: November 2008

Algebraic Automata Theory

Holcombe, M.
Published: June 2004

An Introduction to the Theory of Surreal Numbers

Gonshor, Harry
Published: September 1986

Surveys in Set Theory

Mathias, A. R. D.
Published: November 1983

The Core Model

Dodd, A.
Published: April 1982

Coding the Universe

Beller, A.
Jensen, R.
Welch, P.
Published: February 1982

Finite Geometries and Designs

Proceedings of the Second Isle of Thorns Conference 1980

Cameron, P. J.
Hirschfeld, J. W. P.
Hughes, D. R.
Published: June 1981

Recursion Theory, its Generalisations and Applications

Drake, F. R.
Wainer, S. S.
Published: November 1980

Sheaf Theory

Tennison, B. R.
Published: January 1976