Logic Colloquium 76 : proceedings of a conference held in Oxford in July 1976 /
| Corporate Author: | Logic Colloquium Oxford |
|---|---|
| Other Authors: | Gandy, R. O., Hyland, John Martin Elliott |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Amsterdam ; New York :
North-Holland Pub. Co. ;
1977.
|
| Series: | Studies in logic and the foundations of mathematics ;
v. 87. |
| Subjects: |
Similar Items
Logic Colloquium 76 : proceedings of a conference held in Oxford in July 1976 /
Published: (1977)
Published: (1977)
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 '84 : proceedings of the colloquium held in Manchester, U.K., July 1984 /
Published: (1986)
Published: (1986)
Logic colloquium 2000 (hardcover) : lecture notes in logic, 19 /
Published: (2005)
Published: (2005)
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 '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 '88 : proceedings of the Colloquium held in Padova, Italy August 22-31, 1988 /
Published: (1989)
Published: (1989)
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 '85 : proceedings of the colloquium held in Orsay, France July 1985 /
Published: (1987)
Published: (1987)
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 '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 '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)
Logic Colloquium '86 : proceedings of the colloquium held in Hull, U.K. July 13-19, 1986 /
Published: (1988)
Published: (1988)
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)
Mathematical logic : proceedings of the first Brazilian Conference /
Published: (1978)
Published: (1978)
Southeast Asian Conference on Logic : proceedings of the Logic Conference, Singapore, 1981 /
Published: (1983)
Published: (1983)
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)
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 logic : the North Texas Logic Conference, October 8-10, 2004, University of North Texas, Denton, Texas /
Published: (2007)
Published: (2007)
Proceedings of the Herbrand symposium : Logic Colloquium '81 ... held in Marseilles, France, July 1981 /
Published: (1982)
Published: (1982)
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)
The proceedings of the Bertrand Russell Memorial Logic Conference, Uldum, Denmark, 1971 /
Published: (1973)
Published: (1973)
Combinatory logic /
by: Curry, Haskell B. (Haskell Brooks), 1900-1982
Published: (1958)
by: Curry, Haskell B. (Haskell Brooks), 1900-1982
Published: (1958)
Logic of mathematics : a modern course of classical logic /
by: Adamowicz, Zofia
Published: (1997)
by: Adamowicz, Zofia
Published: (1997)
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)
Logic, language, information, and computation : 14th international workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007 : proceedings /
Published: (2007)
Published: (2007)
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)