Richter, M. M. (ed.); Börger, E. (ed.); Oberschelp, W. (ed.); Schinzel, B. (ed.); Thomas, W. (ed.) Computation and proof theory. Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983. Part II. (English) Zbl 0547.00036 Lecture Notes in Mathematics. 1104. Berlin etc.: Springer-Verlag. VIII, 475 p. DM 64.00 (1984). The articles of this volume will be reviewed individually under the abbreviation ”Computation and proof theoy, Proc. Logic. Colloq., Aachen 1983, Part II, Lect. Notes Math. 1104”. Cited in 21 Reviews MSC: 00Bxx Conference proceedings and collections of articles 68-06 Proceedings, conferences, collections, etc. pertaining to computer science Keywords:Computation; Proof theory; Proceedings; Logic Colloquium; Colloquium; Aachen/Germany PDFBibTeX XML