Call Number (LC) Title Results
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
QA9.A1 I24 2019eb Logic and its applications : 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings / 1
QA9.A1 I25 2009eb Logic and its applications third Indian conference, ICLA 2009, Chennai, India, January 7-11, 2009 : proceedings / 1
QA9.A1 I25 2013 Logic and its applications 5th Indian conference, ICLA 2013, Chennai, India, January 10-12, 2013, proceedings / 1
QA9.A1 I53 1982 Atti degli Incontri di logica matematica : Siena / 1
QA9.A1 I53 2011 Logic and its applications 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011 : proceedings / 1
QA9.A1 I54 2013 Infinity and truth / 1