Computation and Proof Theory: Proceedings of the Logic Colloquium Held in Aachen, July 18-23, 1983, Part II

Front Cover
Michael M. Richter
Springer-Verlag, 1984 - Mathematics - 475 pages

From inside the book

Contents

VORWORT
1
B Benninghofen
9
H G CARSTENS P PAPPINGHAUS
39
Copyright

31 other sections not shown

Other editions - View all

Common terms and phrases

Bibliographic information