Proceedings of the Logic Colloquium, held in Aachen, July 18-23, 1983 P. 2, Computation and proof theory
- Författare
- Logic Colloquium 1984) (Aachen :
- (Edited by M.M. Richter ..)
- Genre
- Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer-Vlg. | 1984 | Tyskland, Berlin, New York | 475 sidor. ill. |