Logic Colloquium (1983 Aachen, Germany) profile picture

Logic Colloquium (1983 Aachen, Germany)

Is this your author profile? Create an account to claim and customize it!

Stand Alone

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