1. A theory of truth / Yannis Stephanou. Lecture notes in logic ; 55., Lecture notes in logic ; 55 Stephanou, Yannis, 1966- [Browse] Cambridge : Cambridge University Press, 2024. Book No holdings available for this record
2. A comparison process for mouse pairs / John R. Steel. Lecture notes in logic ; 51., Lecture notes in logic ; 51 Steel, J. R. (John R.), 1948- [Browse] Cambridge : Cambridge University Press, 2023. Book No holdings available for this record
3. Homogeneous ordered graphs, metrically homogeneous graphs, and beyond. Volume II, 3-Multi-graphs and 2-Multi-tournaments / Gregory Cherlin. Lecture notes in logic ; 54., Lecture notes in logic ; 54 Cherlin, Gregory L., 1948- [Browse] Cambridge : Cambridge University Press, 2022. Book No holdings available for this record
4. Homogeneous ordered graphs, metrically homogeneous graphs, and beyond. Volume I, Ordered graphs and distanced graphs / Gregory Cherlin. Lecture notes in logic ; 53., Lecture notes in logic ; 53 Cherlin, Gregory L., 1948- [Browse] Cambridge : Cambridge University Press, 2022. Book No holdings available for this record
5. Complexity of infinite-domain constraint satisfaction / Manuel Bodirsky. Lecture notes in logic ; 52., Lecture notes in logic ; 52 Bodirsky, Manuel, 1976- [Browse] Cambridge, United Kingdom ; New York, NY : Cambridge University Press, 2021. Book No holdings available for this record
6. Algorithmic randomness : progress and prospects / edited by Johanna N. Y. Franklin, Christopher P. Porter. Lecture notes in logic Cambridge, United Kingdom ; New York, NY : Cambridge University Press, 2020.©2020 Book No holdings available for this record
7. Aspects of Incompleteness / Per Lindström. Lecture notes in logic ; 10., Lecture notes in logic ; 10 Lindström, Per, 1936- [Browse] Cambridge : Cambridge University Press, 2016. Book No holdings available for this record
8. Bounded variable logics and counting : a study in finite models / Martin Otto. Lecture notes in logic ; 9., Lecture notes in logic ; 9 Otto, Martin, 1961- [Browse] Cambridge : Cambridge University Press, 2016. Book No holdings available for this record
9. The core model iterability problem / John R. Steel. Lecture notes in logic ; 8., Lecture notes in logic ; 8 Steel, J. R. (John R.), 1948- [Browse] Cambridge : Cambridge University Press, 2016. Book No holdings available for this record
10. A general algebraic semantics for sentential logics / Josep Maria Font, Ramon Jansana. Lecture notes in logic ; 7., Lecture notes in logic ; 7 Font, Josep Maria, 1954- [Browse] Cambridge : Cambridge University Press, 2016. Book No holdings available for this record
11. Inexhaustibility : a non-exhaustive treatment / Torkel Franzén. Lecture notes in logic ; 16., Lecture notes in logic ; 16 Franzén, Torkel [Browse] Cambridge : Cambridge University Press, 2016. Book No holdings available for this record
12. Intensionality / edited by Reinhard Kähle. Lecture notes in logic ; 22., Lecture notes in logic ; 22 Cambridge : Cambridge University Press, 2016. Book No holdings available for this record
13. Lectures on infinitary model theory / David Marker, University of Illinois, Chicago. Lecture notes in logic ; 46., Lecture notes in logic ; 46 Marker, D. (David), 1958- [Browse] Cambridge ; New York, NY : Cambridge University Press, 2016.©2016 Book Loading...Lewis Library - Stacks » QA9.37 .M37 2016
14. Logic Colloquium '01 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Vienna, Austria, August 6-11, 2001 / edited by Matthias Baaz, Sy-David Friedman, Jan Krajíček. Lecture notes in logic ; 20., Lecture notes in logic ; 20 Logic Colloquium (2001 : Vienna, Austria) [Browse] Cambridge : Cambridge University Press, 2016. Book No holdings available for this record
15. Logic Colloquium '02 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic and the Colloquium Logicum, held in Münster, Germany, August 3-11, 2002 / edited by Zoé Chatzidakis, Peter Koepke, Wolfram Pohlers. Lecture notes in logic ; 27., Lecture notes in logic ; 27 Logic Colloquium '02 (2002 : Münster, Germany) [Browse] Cambridge : Cambridge University Press, 2016. Book No holdings available for this record
16. Logic Colloquium '03 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Helsinki, Finland, August 14-20, 2003 / edited by Viggo Stoltenberg-Hansen, Jouko Väänänen. Lecture notes in logic ; 24., Lecture notes in logic ; 24 Logic Colloquium (2003 : Helsinki, Finland) [Browse] Cambridge : Cambridge University Press, 2016. Book No holdings available for this record
17. Logic Colloquium 2000 : Proceedings of the annual European summer meeting of the Association for Symbolic Logic, held in Paris, France, July 23-31, 2000 / edited by René Cori [and three others]. Lecture notes in logic ; 19., Lecture notes in logic ; 19 Logic Colloquium (2000 : Paris, France) [Browse] Cambridge : Cambridge University Press, 2016. Book No holdings available for this record
18. Logic Colloquium '95 : proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, Haifa, Israel, August 9-18, 1995 / edited by Johann A. Makowsky, Elena V. Ravve. Lecture notes in logic ; 11., Lecture notes in logic ; 11 Logic Colloquium (1995 : Haifa, Israel) [Browse] Cambridge : Cambridge University Press, 2016. Book No holdings available for this record
19. Logic Colloquium '96 / edited by J. M. Larrazabal, D. Lascar, G. Mints. Lecture notes in logic ; 12., Lecture notes in logic ; 12 Logic Colloquium (1996 : San Sebastián, Spain) [Browse] Cambridge : Cambridge University Press, 2016. Book No holdings available for this record
20. Logic Colloquium '98 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9-15, 1998 / edited by Samuel R. Buss, Petr Hájek, Pavel Pudlák. Lecture notes in logic ; 13., Lecture notes in logic ; 13 Logic Colloquium (1998 : Prague, Czech Republic) [Browse] Cambridge : Cambridge University Press, 2016. Book No holdings available for this record