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 |