Proceedings of the Logic Colloquium, held in Aachen, July 18-23, 1983.
Contributors: Müller, G. H. 1923-; Richter, Michael M., 1938-
Series: Lecture notes in mathematics -- 1103-1104.; Lecture notes in mathematics (Springer-Verlag) -- 1103, 1104.
Publisher: Springer-Verlag
Published: 1984
Place of publication: Berlin; New York
Language: eng
Subjects: Logic, Symbolic and mathematical -- Congresses.
Notes: Includes bibliographies.
Table of contents: title: p; title: t; title: .; title: 1; title: .; title: M; title: o; title: d; title: e; title: l; title: s; title: a; title: n; title: d; title: s; title: e; title: t; title: s; title: /; title: e; title: d; title: i; title: t; title: e; title: d; title: b; title: y; title: G; title: .; title: H; title: .; title: M; title: u; title: ̈; title: l; title: l; title: e; title: r; title: a; title: n; title: d; title: M; title: .; title: M; title: .; title: R; title: i; title: c; title: h; title: t; title: e; title: r; title: p; title: t; title: .; title: 2; title: .; title: C; title: o; title: m; title: p; title: u; title: t; title: a; title: t; title: i; title: o; title: n; title: a; title: n; title: d; title: p; title: r; title: o; title: o; title: f; title: t; title: h; title: e; title: o; title: r; title: y; title: /; title: e; title: d; title: i; title: t; title: e; title: d; title: b; title: y; title: M; title: .; title: M; title: .; title: R; title: i; title: c; title: h; title: t; title: e; title: r; title: .; title: .; title: .; title: e; title: t; title: a; title: l; title: .