Call Number (LC) | Title | Results |
---|---|---|
QA9.A1 L63 1996 | Logic Colloquium '96 : Proceedings of the Colloquium Held in San Sebastian, Spain, July 9-15, 1996 / | 1 |
QA9.A1 L63a | Logic Colloquium : proceedings of the Summer School and Colloquium in Mathematical Logic. | 1 |
QA9.A1 L633 1986eb | Logic Colloquium '86 proceedings of the colloquium held in Hull, U.K. July 13-19, 1986 / | 1 |
QA9.A1 L64 1967 | Sets, models and recursion theory Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965 / | 1 |
QA9.A1 L64 1968 | Contributions to mathematical logic Proceedings of the Logic Colloquium, Hannover 1966 / | 1 |
QA9.A1 L64 1979 | Logic colloquium '78 proceedings of the colloquium held in Mons, August 1978 / | 1 |
QA9.A1 L64 1992 | Logic from computer science : proceedings of a workshop held November 13-17, 1989 / | 1 |
QA9.A1 L64 1997 |
Models and computability : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 / Models and Computability / |
2 |
QA9.A1 L64 1999 | Logic Colloquium '99 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Utrecht, Netherlands, August 1-6, 1999 / | 1 |
QA9.A1 L64 2000 |
Logic Colloquium 2000 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Paris, France, July 23-31, 2000 / Logic Colloquium 2000 : Proceedings of the annual European summer meeting of the Association for Symbolic Logic, held in Paris, France, July 23{u2013}31, 2000 / |
3 |
QA9.A1L64 2000 | Logic Colloquium 2000 (hardcover) : Lecture Notes in Logic, 19. | 1 |
QA9.A1 L64 2001 | Logic Colloquium '01 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Vienna, Austria, August 6-11, 2001 / | 1 |
QA9.A1 L64 2002 |
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 / 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 / |
3 |
QA9.A1 L64 2003 | Logic Colloquium '03 : proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Helsinki, Finland, August 14-20, 2003 / | 1 |
QA9.A1 L64 2004 | Logic Colloquium 2004 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Torino, Italy, July 25-31, 2004 / | 1 |
QA9.A1 L64 2005 | Logic Colloquium 2005 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Athens, Greece, July 28-August 3, 2005 / | 1 |
QA9.A1 L64 2007eb |
Logic Colloquium 2007 / Logic Colloquium 2005 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Athens, Greece, July 28-August 3, 2005 / |
2 |
QA9.A1 L64 2009 |
Logic Colloquium 2006. Logic Colloquium 2006 / |
2 |
QA9.A1.L645 2016 | Logic Colloquium '95 : Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, Held in Haifa, Israel, August 9-18, 1995 / | 1 |
QA9.A1 L65 1980 | Patras Logic Symposion : proceedings of the Logic Symposion held at Patras, Greece, August 18-22, 1980 / | 1 |