Computation and Proof Theory Proceedings, Logic Colloquium Aachen 1983 Part II
- Berlin Springer-Verlog 1984
- 475 p.
- Lecture notes in mathematics 1104 .
- Lecture notes in mathematics (Springer-Verlag) 1104. .
038713901X
51 / LNM
038713901X
51 / LNM