S. Feferman
Autor von "Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies" .
Iterated Inductive Definitions and Subsystems of Analysis: Recen…
Softcover
erschienen am 01.12.1981