
Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983
- Undertitel
- Part 2: Computation and Proof Theory
- Redaktör
- M. M. Richter, E. Börger, W. Oberschelp, B. Schinzel, W. Thomas
- Upplaga
- 1984 ed.
- ISBN
- 9783540139010
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 1984-12-01
- Sidor
- 482
