Vol. 1104. Richter, M. M.; Börger, E.; Oberschelp, W.; Schinzel, B.; Thomas, W. (Eds.)
Computation and Proof Theory: Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, Part II
QA9 C65