Cover Image

Proceedings of the Logic Colloquium, held in Aachen, July 18-23, 1983.

Show other versions (1)
Bibliographic Details
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:
Logic, Symbolic and mathematical > Congresses.
Table of Contents:
  • pt. 1. Models and sets / edited by G.H. Muller and M.M. Richter
  • pt. 2. Computation and proof theory / edited by E. Borger ... et al.