Richter, M. M. profile picture

Richter, M. M.

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

Computation and Proof Theory (Lecture Notes in Mathematics)
Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983: Part 1: Models and Sets (Lecture Notes in Mathematics, 1103)