W. Pohlers

W.P. · Wolfram Pohlers

TitelISBN-13
(ISBN-10)
Erschei-
nungsjahr
andere Autoren
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies978-3-54O-1117O-2
(3-54O-1117O-O)
1981W. Buchholz · S. Feferman · W. Sieg

W. Pohlmeier