Computation and proof theory
Subtitle: proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, Part II
By: edited by M.M. Richter ... [et al.].
Contributors: Richter, Michael M., 1938-
Series: Lecture notes in mathematics -- 1104.; Lecture notes in mathematics (Springer-Verlag) -- 1104.
Publisher: Springer-Verlag
Published: 1984
Place of publication: Berlin; New York
Language: eng
Number of pages: 475
Subjects: Logic, Symbolic and mathematical -- Congresses.; Computational complexity -- Congresses.; Proof theory -- Congresses.
Genres: Congresses.
Notes: Includes bibliographies.