Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
---|---|---|---|
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies | 978-3-54O-1117O-2 (3-54O-1117O-O) | 1981 | S. Feferman · W. Pohlers · W. Sieg |
David W. Buchholz · Ernst W Buchholz · Ernst Wolfgang, Buchholz · Hans W Buchholz · Hans-Werner Buchholz · PhD Susan W. Buchholz · Susan W. Buchholz · Susan W Buchholz Ph.D. · Susan W. Buchholz PhD · W. B. · W (Ed) Buchholz · Walter Buchholz · Warren Buchholz · Werner Buchholz · Werner (edited by) Buchholz · Wilfred Buchholz · Wilfried Buchholz · Wilhelm Buchholz · William M. Buchholz MD · William M., MD Buchholz · Wolf Buchholz · Wolfgang Buchholz