Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, Part II /
Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, Part II /
edited by M.M. Richter ... [et al.]
- Berlin : Springer-Verlag, 1984
- 475p.
- Lecture notes in mathematics ; 1104 .
- Lecture notes in mathematics (Springer-Verlag) ; 1104 .
Proof theory.
Proof theory.