Call Number (LC) Title Results
QA9.A1 L37 1985 Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985 / 1
QA9.A1 L37 1985eb Methods and Applications of Mathematical Logic. 1
QA9.A1 L56 1995 Advances in linear logic / 1
QA9.A1 .L61 1990 Logic and computer science: lectures given at the 1st session of the Centro internazionale matematico estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988 / 1
QA9.A1 L63 1972-73 Logic Colloquium : symposium on logic held at Boston, 1973 / 1
QA9 .A1 L63 1973 Logic colloquium '73 : proceedings / 1
QA9.A1 L63 1976 Logic Colloquium 76 : proceedings of a conference held in Oxford in July 1976 / 1
QA9.A1 L63 1977 Logic Colloquium '77 : proceedings of the colloquium held in Wrocław, August 1977 / 1
QA9.A1 L63 1978 Logic Colloquium '78 : proceedings of the colloquium held in Mons, August 1978 / 1
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