Logic Colloquium '84 : proceedings of the colloquium held in Manchester, U.K., July 1984 /
| Corporate Author: | Logic Colloquium Manchester, Greater Manchester |
|---|---|
| Other Authors: | Paris, J. B. (Jeff B.), Wilkie, A. J. (Alec J.), Wilmers, G. M. |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Amsterdam ; New York :
North Holland ;
1986.
|
| Series: | Studies in logic and the foundations of mathematics ;
v. 120. |
| Subjects: |
Similar Items
Logic Colloquium '86 : proceedings of the colloquium held in Hull, U.K. July 13-19, 1986 /
Published: (1988)
Published: (1988)
Logic Colloquium '84 : proceedings of the colloquium held in Manchester, U.K., July 1984 /
Published: (1986)
Published: (1986)
Logic colloquium '99 : lecture notes in logic 17 /
Published: (2004)
Published: (2004)
Logic Colloquium '85 : proceedings of the colloquium held in Orsay, France, July 1985 /
Published: (1987)
Published: (1987)
Logic colloquium '73 : proceedings of the Logic Colloquium, Bristol, July l973 /
Published: (1975)
Published: (1975)
Logic Colloquium '78 : proceedings of the colloquium held in Mons, August 1978 /
Published: (1979)
Published: (1979)
Logic Colloquium '77 : proceedings of the colloquium held in Wrocaw, August 1977 /
Published: (1978)
Published: (1978)
Logic colloquium 2000 (hardcover) : lecture notes in logic, 19 /
Published: (2005)
Published: (2005)
Logic Colloquium '77 : proceedings of the colloquium held in Wrocław, August 1977 /
Published: (1978)
Published: (1978)
Logic colloquium '78 : proceedings of the colloquium held in Mons, August 1978 /
Published: (1979)
Published: (1979)
Logic Colloquium '88 : proceedings of the Colloquium held in Padova, Italy August 22-31, 1988 /
Published: (1989)
Published: (1989)
Logic colloquium '85 : proceedings of the colloquium held in Orsay, France July 1985 /
Published: (1987)
Published: (1987)
Logic Colloquium 76 : proceedings of a conference held in Oxford in July 1976 /
Published: (1977)
Published: (1977)
Logic Colloquium '86 : proceedings of the colloquium held in Hull, U.K. July 13-19, 1986 /
Published: (1988)
Published: (1988)
Logic colloquium '02: lecture notes in logic 27 : lecture notes in logic 27 /
Published: (2006)
Published: (2006)
Logic Colloquium 76 : proceedings of a conference held in Oxford in July 1976 /
Published: (1977)
Published: (1977)
Logic colloquium '73 : proceedings /
Published: (1975)
Published: (1975)
Logic Colloquium '88 : proceedings of the Colloquium held in Padova, Italy August 22-31, 1988 /
Published: (1989)
Published: (1989)
Logic Colloquium '99 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Utrecht, Netherlands, August 1-6, 1999 /
Published: (2004)
Published: (2004)
Logic Colloquium '98 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9-15, 1998 /
Published: (2000)
Published: (2000)
Logic Colloquium '99 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Utrecht, Netherlands, August 1-6, 1999 /
Published: (2004)
Published: (2004)
Logic Colloquium '87 : proceedings of the Colloquium held in Granada, Spain July 20-25, 1987 /
Published: (1989)
Published: (1989)
Logic Colloquium '87 : proceedings of the Colloquium held in Granada, Spain July 20-25, 1987 /
Published: (1989)
Published: (1989)
Contributions to mathematical logic : Proceedings of the Logic Colloquium, Hannover 1966 /
Published: (1968)
Published: (1968)
Contributions to mathematical logic. : Proceedings of the Logic Colloquium, Hannover 1966 /
Published: (1968)
Published: (1968)
Proceedings of the Herbrand symposium : Logic Colloquium '81 ... held in Marseilles, France, July 1981 /
Published: (1982)
Published: (1982)
Logic Colloquium : symposium on logic held at Boston, 1972-73 /
Published: (1975)
Published: (1975)
Patras Logic Symposion : proceedings of the Logic Symposion held at Patras, Greece, August 18-22, 1980 /
Published: (1982)
Published: (1982)
Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985 /
Published: (1988)
Published: (1988)
Logic Colloquium '92 /
Published: (1995)
Published: (1995)
Mathematical logic : proceedings of the first Brazilian Conference /
Published: (1978)
Published: (1978)
Mathematical logic in Latin America : proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978 /
Published: (1980)
Published: (1980)
Southeast Asian Conference on Logic : proceedings of the Logic Conference, Singapore, 1981 /
Published: (1983)
Published: (1983)
Mathematical logic and foundations of set theory. : Proceedings of an international colloquium under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968 /
Published: (1970)
Published: (1970)
Proceedings of the Second Scandinavian Logic Symposium /
Published: (1971)
Published: (1971)
Mathematical logic in Latin America : proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978 /
Published: (1980)
Published: (1980)
Advances in linear logic /
Published: (1995)
Published: (1995)
Advances in logic : the North Texas Logic Conference, October 8-10, 2004, University of North Texas, Denton, Texas /
Published: (2007)
Published: (2007)
Combinatory logic /
by: Curry, Haskell B. (Haskell Brooks), 1900-1982
Published: (1958)
by: Curry, Haskell B. (Haskell Brooks), 1900-1982
Published: (1958)
Logicism renewed : logical foundations for mathematics and computer science, lecture notes in logic 23 /
by: Gilmore, Paul C. (Paul Carl), 1925-
Published: (2005)
by: Gilmore, Paul C. (Paul Carl), 1925-
Published: (2005)