Search Results - Logic Colloquium Aachen

Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, Part II /

“…Logic Colloquium Aachen…”