Feferman S., Spector C. ...


Feferman S., Spector C.
[1962]
Incompleteness along paths in progressions of theory
J. Symbolic Logic, 27, № 4, 383-390 (Русский перевод в сб. Математика, 1971, 15, № 6, 159-166.)
64.12.66
RO
article

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