B. Schinzel

Identifiers

Open LibraryOL2682251A

Books by B. Schinzel

Total count: 2

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

Springer1984-12-01
Informatik Cui Bono?Gi-Fb 8 Fachtagung

Springer Verlag1992-10-01