Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983 : Part 2: Computation and Proof Theory PDF
Edited by M. M. Richter, E. Borger, W. Oberschelp, B. Schinzel, W. Thomas
Part of the Lecture Notes in Mathematics series
- Information
Information
-
Download Now
- Format:PDF
- Publisher:Springer Berlin Heidelberg
- Publication Date:08/12/2006
- Category:
- ISBN:9783540391197
Information
-
Download Now
- Format:PDF
- Publisher:Springer Berlin Heidelberg
- Publication Date:08/12/2006
- Category:
- ISBN:9783540391197
