Yazar
s feferman
2 cilt bulundu.
Cilt sonuçları
Model-Theoretic Logics
J. Barwise, S. Feferman · Cambridge University Press
911 sayfa · 2016
Logic, symbolic and mathematical
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