Feferman S. ...


Feferman S.
[1962]
Transfinite recursive progressions of axiomatic theories
J. Symbolic Logic, 27, № 3, 259-316 (Русский перевод в сб. Математика, 1971, 15, № 5, 84-133.)
64.12.65; 72.01.28
article

Вернуться к поиску