Yazar
w pohlers
1 cilt bulundu.
Cilt sonuçları
Iterated Inductive Definitions and Subsystems of Analysis
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