Discontinued series: although this series no longer publishes new content, the published titles listed here remain available.
Book titles in this series
-
-
Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983
Part 2: Computation and Proof Theory
- Editors:
-
- M. M. Richter
- E. Börger
- W. Oberschelp
- B. Schinzel
- Copyright: 1984
Available Renditions
- Soft cover