Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983 : Part 2
Subtitle: Computation and Proof Theory
Publisher: Springer
Published: Dec 01, 1984
Format: paperback
Number of pages: 492
ISBN-13: 9783540139010
Notes: Source title: Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983: Part 2: Computation and Proof Theory (Lecture Notes in Mathematics (1104))