Call Number (LC) Title Results
QA9.A1 L64 1997 Models and computabilty : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 / 1
QA9.A1 L645 1980 Patras Logic Symposion : proceedings of the Logic Symposion held at Patras, Greece, August 18-22, 1980 / 1
QA 9 A1 L65 Logic year 1979-80, the University of Connecticut, USA / 1
QA9.A1 M37 1987 Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987 / 1
QA9.A1 N67 2004 Advances in logic : the North Texas Logic Conference, October 8-10, 2004, University of North Texas, Denton, Texas / 2
QA9.A1 S68 1981 Southeast Asian Conference on Logic : proceedings of the Logic Conference, Singapore, 1981 / 1
QA9.A1 S96 2018eb Advances in Mathematical Logic : dedicated to the memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, revised contributions / 1
QA9.A1 T94 1998 Twenty Five Years of Constructive Type Theory. 1
QA9.A1 T94 2020 Twenty-five years of constructive type theory : proceedings of a congress held in Venice, October 1995 / 1
QA9.A1 W67 2021 Logic, language, information, and computation : 27th international workshop, WoLLIC 2021, virtual event, October 5-8, 2021 : proceedings / 1
QA9.A1 W67 2022eb Logic, language, information, and computation : 28th International Workshop, WOLLIC 2022, Iaşi, Romania, September 20-23, 2022, proceedings / 1
QA9.A1 W67 2023eb Logic, language, information, and computation : 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings / 1
QA9 .A383 2023 Advances in applied logics : applications of logic for philosophy, mathematics and information technology / 1
QA9 .A3875 2019 Advances in experimental philosophy of logic and mathematics / 1
QA9 .A39 Algebra and logic : papers from the 1974 summer research institute of the Australian Mathematical Society, Monash University, Australia / 1
QA9 .A634 1975 Entailment : the logic of relevance and necessity / 1
QA9 .A638 1986 An introduction to mathematical logic and type theory : to truth through proof / 1
QA9 .A94 2004eb Deflating existential consequence : a case for nominalism / 1
QA9 .B25 1964 Philosophy of mathematics 1
QA9 .B27 An algebraic introduction to mathematical logic / 1