Proceedings of the Logic Colloquium, held in Aachen, July 18-23, 1983.
| Corporate Author: | Logic Colloquium Aachen, Germany |
|---|---|
| Other Authors: | Müller, G. H. (Gert Heinz), 1923- |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Berlin ; New York :
Springer-Verlag,
1984.
|
| Series: | Lecture notes in mathematics (Springer-Verlag) ;
1103-1104. |
| Subjects: |
Similar Items
Proceedings of the Logic Colloquium : held in Aachen, July 18-23, 1983.
Published: (1984)
Published: (1984)
Logic Colloquium : symposium on logic held at Boston, 1972-73 /
Published: (1975)
Published: (1975)
Logic Colloquium : symposium on logic held at Boston, 1972-73 /
Published: (1975)
Published: (1975)
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 '84 : proceedings of the colloquium held in Manchester, U.K., July 1984 /
Published: (1986)
Published: (1986)
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)
Methods in mathematical logic : proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983 /
Published: (1985)
Published: (1985)
Logic Colloquium '86 : proceedings of the colloquium held in Hull, U.K. July 13-19, 1986 /
Published: (1988)
Published: (1988)
Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987 /
Published: (1989)
Published: (1989)
Logic Colloquium 76 : proceedings of a conference held in Oxford in July 1976 /
Published: (1977)
Published: (1977)
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 76 : proceedings of a conference held in Oxford in July 1976 /
Published: (1977)
Published: (1977)
ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 /
Published: (1975)
Published: (1975)
Logic Colloquium '92 /
Published: (1995)
Published: (1995)
Proceedings of the Summer School in Logic, Leeds, 1967 ; N. A. T. O. Advanced Study Institute, Meeting of the Association for Symbolic Logic /
Published: (1968)
Published: (1968)
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 Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980 /
Published: (1981)
Published: (1981)
Cambridge Summer School in Mathematical Logic : held in Cambridge, England, August 1-21, 1971 /
Published: (1973)
Published: (1973)
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)
Conference in Mathematical Logic, London '70 /
Published: (1972)
Published: (1972)
Cambridge Summer School in Mathematical Logic ; [papers] /
Published: (1973)
Published: (1973)
Logic colloquium '73 : proceedings /
Published: (1975)
Published: (1975)
Logic year 1979-80, the University of Connecticut, USA /
Published: (1981)
Published: (1981)
Logic Colloquium '88 : proceedings of the Colloquium held in Padova, Italy August 22-31, 1988 /
Published: (1989)
Published: (1989)
Term logic with choice operator.
by: Hermes, Hans
Published: (1970)
by: Hermes, Hans
Published: (1970)
Logic Colloquium '80 : papers intended for the European summer meeting of the Association for Symbolic Logic /
Published: (1982)
Published: (1982)
Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987 /
Published: (1989)
Published: (1989)
Logic Colloquium '80 : papers intended for the European summer meeting of the Association for Symbolic Logic /
Published: (1982)
Published: (1982)
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)