Lecture Notes in Logic
- Aspects of Incompleteness. Per Lindström (1997)
- Bounded Variable Logics and Counting: A Study in Finite Models. Martin Otto (1997)
- The Core Model Iterability Problem. John R. Steel (1996)
- Descriptive Set Theory and Forcing: How to Prove Theorems about Borel Sets the Hard Way. Arnold W. Miller (1995)
- Fine Structure and Iteration Trees. William J. Mitchell and John R. Steel (1994)
- A General Algebraic Semantics for Sentential Logics, 2nd Edition. Josep Maria Font and Ramon Jansana (2009)
- Gödel '96: Logical foundations of mathematics, computer science and physics---Kurt Gödel's legacy, Brno, Czech Republic, August 1996, proceedings. Petr Hájek (ed.) (1996)
- Logic Colloquium '90: ASL Summer Meeting in Helsinki. J. Oikkonen (ed.) and J. Väänänen (ed.) (1993)
- 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 (ed.) and Elena V. Ravve (ed.) (1998)
- Logic Colloquium '96: Proceedings of the Colloquium held in San Sebastián, Spain, July 9-15, 1996. J. M. Larrazabal (ed.), D. Lascar (ed.), and G. Mints (ed.) (1998)
- Model Theory of Fields. D. Marker, M. Messmer, and A. Pillay (1996)
- Recursion Theory. J. R. Shoenfield (1993)
- 12 – Logic Colloquium '96: Proceedings of the Colloquium held in San Sebastián, Spain, July 9-15, 1996; J. M. Larrazabal, D. Lascar, G. Mints, eds. (1998)
- 11 – 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, eds. (1998)
- 10 – Aspects of Incompleteness; Per Lindström (1997)
- 9 – Bounded Variable Logics and Counting: A Study in Finite Models; Martin Otto (1997)
- 8 – The Core Model Iterability Problem; John R. Steel (1996)
- 7 – A General Algebraic Semantics for Sentential Logics, 2nd ed.; Josep Maria Font, Ramon Jansana (2009)
- 6 – Gödel '96: Logical foundations of mathematics, computer science and physics---Kurt Gödel's legacy, Brno, Czech Republic, August 1996, proceedings; Petr Hájek, ed. (1996)
- 5 – Model Theory of Fields; D. Marker, M. Messmer, A. Pillay (1996)
- 4 – Descriptive Set Theory and Forcing: How to Prove Theorems about Borel Sets the Hard Way; Arnold W. Miller (1995)
- 3 – Fine Structure and Iteration Trees; William J. Mitchell, John R. Steel (1994)
- 2 – Logic Colloquium '90: ASL Summer Meeting in Helsinki; J. Oikkonen, J. Väänänen, eds. (1993)
- 1 – Recursion Theory; J. R. Shoenfield (1993)
