
Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983
- Alaotsikko
- Part 2: Computation and Proof Theory
- Toimittaja
- M. M. Richter, E. Börger, W. Oberschelp, B. Schinzel, W. Thomas
- Painos
- 1984 ed.
- ISBN
- 9783540139010
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 1.12.1984
- Sivumäärä
- 482