> Multivolume work
-
2:
Computation and proof theory ed. by M. M. Richter
Berlin; Heidelberg [u.a.]: Springer, 1984-1984