Yazar
Pohlers
8 cilt bulundu.
Wolfram Pohlers · Springer-Verlag
213 sayfa · 1989
Proof theory / Symbolic and mathematical Logic / Mathematics
Wolfram Pohlers · Springer-Verlag Berlin Heidelberg
Sayfa sayısı yok · 2009
Symbolic and mathematical Logic / Proof theory / Beweistheorie / Mathematics / Mathematical Logic and Foundations
Logic Colloquium '02 (2002 Münster, Germany), Logic Colloquium 0, Wolfram Pohlers, Colloquium Logicum 200 · Association for Symbolic Logic
359 sayfa · 2006
Congresses / Logic, Symbolic and mathematical / Symbolic and mathematical Logic / Mathematical logic / Science/Mathematics
S. Feferman, W. Buchholz, W. Pohlers, W. Sieg · Springer Berlin / Heidelberg
384 sayfa · 1981
Mathematical analysis / Induction (mathematics) / Proof theory / Mathematics / Symbolic and mathematical Logic