Call Number (LC) Title Results
QA9.A1 A85 2011 Proceedings of the 12Th Asian Logic Conference. 1
QA9.A1 A853 2008eb Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008 / 1
QA9.A1 A95 1959 The axiomatic method 1
QA9.A1 B84 Bulletin of the Section of Logic. 1
QA9.A1 B88 2018 Philosophy and model theory / 1
QA9.A1 C56 2010eb Aspects of mathematical logic lectures given at the Centro internazionale matematico estivo (C.I.M.E.) held in Varenna (Como), Italy, September 9-17, 1968 / 1
QA9.A1 C66 1970 Intuitionism and proof theory Proceedings of the summer conference ; Aug 1968 / 1
QA9.A1 C66 1982 Actes / 1
QA9.A1eb Towards mathematical philosophy papers from the Studia Logica Conference Trends in Logic IV / 1
QA9.A1 F68 2003 Foundations of the formal sciences II : applications of mathematical logic in philosophy and linguistics : papers of a conference held in Bonn, November 10-13, 2000 / 1
QA9.A1 F73 2000 Frontiers of combining systems : third international workshop, FroCoS 2000, Nancy, France, March 22-24, 2000 : proceedings / 1
QA9.A1 F73 2002 Frontiers of combining systems : 4th international workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002 : proceedings / 1
QA9.A1 F73 2002eb Frontiers of combining systems 6th international symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007 : proceedings / 1
QA9.A1 F73 2005 Frontiers of combining systems 5th international workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005 : proceedings / 1
QA9.A1 F76 Frontiers of combining systems. 1
QA9.A1 F76 1996eb Frontiers of combining systems : first international workshop, Munich, March 1996 / 1
QA9.A1 F76 2009 Frontiers of Combining Systems 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings / 1
QA9.A1 F76 2011 Frontiers of combining systems 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011 : proceedings / 1
QA9.A1 F76 2013 Frontiers of combining systems : 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings / 1
QA9.A1 F76 2019eb Frontiers of combining systems : 12th international symposium, FroCoS 2019, London, UK, September 4-6, 2019 : proceedings / 1