Pohlers, W. profile picture

Pohlers, W.

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

Stand Alone

Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-theoretical Studies (Lecture Notes in Mathematics, 897)