Call Number (LC) Title Results
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
QA9.A1 F76 2021 Frontiers of combining systems : 13th international symposium, FroCoS 2021, Birmingham, UK, September 8-10, 2021 : proceedings / 1
QA9.A1 F76 2023eb Frontiers of combining systems : 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings / 2
QA9.A1 G58 2011 Giuseppe Peano between mathematics and logic proceeding of the International Conference in honour of Giuseppe Peano on the 150th anniversary of his birth and the centennial of the Formulario Mathematico, Turin (Italy), October 2-3, 2008 / 1
QA9.A1 G6 1996 Gödel '96 : logical foundations of mathematics, computer science, and physics--Kurt Gödel's legacy : Bruno [sic], Czech Republic, August 1996, proceedings /
Gödel '96 : Logical Foundations of Mathematics, Computer Science and Physics - Kurt Gödel's Legacy / 		2
QA9.A1 G63 1987 Gödel remembered : Salzburg 10-12 July 1983 / 1
QA9.A1 I24 2015eb Logic and its applications : 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings / 1
QA9.A1 I24 2017eb Logic and its applications : 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings / 1