Reading Length
Home
Speed Tests
Login
W. Oberschelp
Identifiers
Amazon
354013901X
Open Library
OL9124118A
Books by W. Oberschelp
Total count: 1
Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983 : Part 2
Computation and Proof Theory
Springer
1984-12-01
