Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983: Part 2: Computation and Proof Theory
- Author
- M. M. Richter, E. Börger, W. Oberschelp, B. Schinzel, W. Thomas
- Publisher
- Springer
- Language
- English
- Edition
- 1
- Year
- 1984
- Page
- 483
- ISBN
- 354013901X,9783540139010
- File Type
- djvu
- File Size
- 2.9 MiB
How to Download?!!!
Just click on START button on Telegram Bot