×

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”.

MSC:

00Bxx Conference proceedings and collections of articles
68-06 Proceedings, conferences, collections, etc. pertaining to computer science