Yazar
Wolfram Pohlers
5 cilt bulundu.
Cilt sonuçları
Proof theory
Wolfram Pohlers · Springer-Verlag
213 sayfa · 1989
Proof theory / Symbolic and mathematical Logic / Mathematics
Proof Theory
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
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