Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983 Part 2: Computation and Proof Theory

Bibliographic Details
Other Authors: Richter, M. M. (Editor), Börger, E. (Editor), Oberschelp, W. (Editor), Schinzel, B. (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 1984, 1984
Edition:1st ed. 1984
Series:Lecture Notes in Mathematics
Subjects:
Online Access:
Collection: Springer Book Archives -2004 - Collection details see MPG.ReNa
Description
Physical Description:X, 482 p online resource
ISBN:9783540391197