|
Трансфинитные рекурсивные прогрессии аксиоматических теорий
С. Феферман
Образец цитирования:
С. Феферман, “Трансфинитные рекурсивные прогрессии аксиоматических теорий”, Математика, 15:5 (1971), 84–139; J. Symbolic Logic, 27 (1962), 259–316
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/mat619 https://www.mathnet.ru/rus/mat/v15/i5/p84
|
|