QA9 .A1 L63 1979
|
Logic Symposia, Hakone, 1979, 1980 : proceedings of a conference held in Gōra Hakone, Japan, March 21-24, 1979 and February 4-7, 1980 / |
1 |
QA9.A1 L63 1980
|
Logic Collogquium '80 : papers intended for the European summer meeting of the Association for Symbolic Logic / |
1 |
QA9.A1 L63 1981
|
Proceedings of the Herbrand symposium : Logic Colloquium '81 ... held in Marseilles, France, July 1981 / |
1 |
QA9.A1 L63 1982
|
Logic Colloquium '82 : proceedings of the colloquium held in Florence, 23-28 August 1982 / |
1 |
QA9.A1 L63 1983
|
Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983. |
1 |
QA9.A1 L63 1984
|
Logic Colloquium '84 : proceedings of the colloquium held in Manchester, U.K., July 1984 / |
1 |
QA9.A1 L63 1985
|
Logic Colloquium '85 : proceedings of the colloquium held in Orsay, France, July 1985 / |
1 |
QA9.A1 L63 1986
|
Logic Colloquium '86 : proceedings of the colloquium held in Hull, U.K. July 13-19, 1986 / |
1 |
QA9.A1 L63 1987
|
Logic Colloquium '87 : proceedings of the Colloquium held in Granada, Spain July 20-25, 1987 / |
1 |
QA9.A1 L63 1988
|
Logic Colloquium '88 : proceedings of the Colloquium held in Padova, Italy August 22-31, 1988 / |
1 |
QA9.A1 L64 1992
|
Logic from computer science : proceedings of a workshop held November 13-17, 1989 / |
1 |
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 |