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

Front Cover
M. M. Richter, E. Börger, W. Oberschelp, B. Schinzel, W. Thomas
Springer, Dec 21, 1984 - Mathematics - 475 pages
0 Reviews

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

VORWORT
36
T CHONG C G JOCKUSCH
63
J N CROSSLEY J B REMMEL
80
Copyright

32 other sections not shown

Common terms and phrases

Bibliographic information