|
Transfinite recursive progressions of axiomatic theories
S. Feferman
Citation:
S. Feferman, “Transfinite recursive progressions of axiomatic theories”, Matematika, 15:5 (1971), 84–139; J. Symbolic Logic, 27 (1962), 259–316
Linking options:
https://www.mathnet.ru/eng/mat619 https://www.mathnet.ru/eng/mat/v15/i5/p84
|
|