(1) A General Algebraic Semantics for Sentential Logics Josep Maria Font; Ramon Jansana ISBN: 9781316716915 Cambridge University Press View at publisher
(2) Admissible Sets and Structures Jon Barwise ISBN: 9781107168336 Cambridge University Press View at publisher
(3) An Introduction to Decision Theory Martin Peterson ISBN: 9781107151598 Cambridge University Press View at publisher
(4) Aspects of Incompleteness Per Lindström ISBN: 9781107167926 Cambridge University Press View at publisher
(5) Bounded Variable Logics and Counting: A Study in Finite Models Martin Otto ISBN: 9781107167940 Cambridge University Press View at publisher
(6) Chaotic Dynamics: Fractals, Tilings, and Substitutions Geoffrey R. Goodson ISBN: 9781107112674 Cambridge University Press View at publisher
(7) Computability in Analysis and Physics Marian B. Pour-El; J. Ian Richards ISBN: 9781107168442 Cambridge University Press View at publisher
(8) Constructibility Keith J. Devlin ISBN: 9781107168350 Cambridge University Press View at publisher
(9) Degrees of Unsolvability: Local and Global Theory Manuel Lerman ISBN: 9781316717059 Cambridge University Press View at publisher
(10) Descriptive Set Theory and Forcing: How to Prove Theorems about Borel Sets the Hard Way Arnold W. Miller ISBN: 9781316716977 Cambridge University Press View at publisher
(11) Essential Stability Theory Steven Buechler ISBN: 9781316717257 Cambridge University Press View at publisher
(12) Fine Structure and Iteration Trees William J. Mitchell; John R. Steel ISBN: 9781316718315 Cambridge University Press View at publisher
(13) Fundamentals of Stability Theory John T. Baldwin ISBN: 9781316717035 Cambridge University Press View at publisher
(14) General Recursion Theory: An Axiomatic Approach Jens E. Fenstad ISBN: 9781316717073 Cambridge University Press View at publisher
(15) Gödel '96: Logical Foundations of Mathematics, Computer Science and Physics - Kurt Gödel's Legacy Petr Hájek ISBN: 9781316716939 Cambridge University Press View at publisher
(16) Groups, Languages and Automata Derek F. Holt; Sarah Rees; Claas E. Röver ISBN: 9781316588246 Cambridge University Press View at publisher
(17) Higher Recursion Theory Gerald E. Sacks ISBN: 9781316717301 Cambridge University Press View at publisher
(18) Inexhaustibility: A Non-Exhaustive Treatment Torkel Franzén ISBN: 9781316755969 Cambridge University Press View at publisher
(19) Intensionality Reinhard Kähle ISBN: 9781316755822 Cambridge University Press View at publisher
(20) Logic Colloquium '01 Matthias Baaz; Sy-David Friedman; Jan Krajíček ISBN: 9781316755860 Cambridge University Press View at publisher
(21) Logic Colloquium '02 Zoé Chatzidakis; Peter Koepke; Wolfram Pohlers ISBN: 9781316755723 Cambridge University Press View at publisher
(22) Logic Colloquium '03 Viggo Stoltenberg-Hansen; Jouko Väänänen ISBN: 9781316755785 Cambridge University Press View at publisher
(23) Logic Colloquium '90: ASL Summer Meeting in Helsinki Juha Oikkonen; Jouko Väänänen ISBN: 9781316718254 Cambridge University Press View at publisher
(24) Logic Colloquium '95: Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9–18, 1995 Johann A. Makowsky; Elena V. Ravve ISBN: 9781316716830 Cambridge University Press View at publisher
(25) Logic Colloquium '96: Proceedings of the Colloquium held in San Sebastián, Spain, July 9–15, 1996 J. M. Larrazabal; D. Lascar; G. Mints ISBN: 9781316716816 Cambridge University Press View at publisher
(26) Logic Colloquium '98 Samuel R. Buss; Petr Hájek; Pavel Pudlák ISBN: 9781316756140 Cambridge University Press View at publisher
(27) Logic Colloquium '99 Jan Van Eijck; Vincent Van Oostrom; Albert Visser ISBN: 9781316755921 Cambridge University Press View at publisher
(28) Logic in Tehran Ali Enayat; Iraj Kalantari; Mojtaba Moniri ISBN: 9781316755747 Cambridge University Press View at publisher
(29) Logicism Renewed: Logical Foundations for Mathematics and Computer Science Paul C. Gilmore ISBN: 9781316755808 Cambridge University Press View at publisher
(30) Metamathematics of First-Order Arithmetic Petr Hájek; Pavel Pudlák ISBN: 9781316717271 Cambridge University Press View at publisher
(31) Model Theory of Fields David Marker; Margit Messmer; Anand Pillay ISBN: 9781316716991 Cambridge University Press View at publisher
(32) Model Theory of Stochastic Processes Sergio Fajardo; H. Jerome Keisler ISBN: 9781316756126 Cambridge University Press View at publisher
(33) Model-Theoretic Logics J. Barwise; S. Feferman ISBN: 9781316717158 Cambridge University Press View at publisher
(34) Nonstandard Methods and Applications in Mathematics Nigel J. Cutland; Mauro Di Nasso; David A. Ross ISBN: 9781316755761 Cambridge University Press View at publisher
(35) Random Walks and Heat Kernels on Graphs Martin T. Barlow ISBN: 9781107415690 Cambridge University Press View at publisher
(36) Recursion Theory Joseph R. Shoenfield ISBN: 9781316717011 Cambridge University Press View at publisher
(37) Recursion-Theoretic Hierarchies Peter G. Hinman ISBN: 9781316717110 Cambridge University Press View at publisher
(38) Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman Wilfried Sieg; Richard Sommer; Carolyn Talcott ISBN: 9781316755983 Cambridge University Press View at publisher
(39) Reverse Mathematics 2001 Stephen G. Simpson ISBN: 9781316755846 Cambridge University Press View at publisher
(40) The Core Model Iterability Problem John R. Steel ISBN: 9781107167964 Cambridge University Press View at publisher
(41) The Notre Dame Lectures Peter Cholak ISBN: 9781316755907 Cambridge University Press View at publisher
(42) Insights in the Economics of Aging Wise, David A. ISBN: 9780226426679 University of Chicago Press View at publisher