

Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983
- Undertitel
- Part 2: Computation and Proof Theory
- Redaktör
- W. Thomas, W. Oberschelp, B. Schinzel, E. Borger, M. M. Richter
- ISBN
- 9783540391197
- Språk
- Engelska
- Utgivningsdatum
- 2006-12-08
- Tillgängliga elektroniska format
- PDF - Adobe DRM
- Läs e-boken här
- E-boksläsare i mobil/surfplatta
- Läsplatta
- Dator
