Feferman S., Spector C. ...

Новости

07 Декабря, 2024 Прощание с академиком Е.П. Велиховым

06 Декабря, 2024 Опрос Министерства науки и высшего образования Российской Федерации

24 Сентября, 2024 Приглашаем принять участие в Открытой конференции ИСП РАН

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

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