|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
1971 |
| 1. |
С. Феферман, К. Спектор, “Неполнота вдоль путей в прогрессиях теорий”, Математика, 15:6 (1971), 159–166    ; S. Feferman, C. Spector, “Incompleteness along paths in progressions of theories”, J. Symbolic Logic, 27 (1962), 383–390 |
| 2. |
Соломон Феферман, “Классификация рекурсивных функций с помощью иерархий”, Математика, 15:6 (1971), 137–158 ; S. Feferman, “Classifications of recursive functions by means of hierarchies”, Trans. Amer. Math. Soc., 104 (1962), 101–122 |
| 3. |
С. Феферман, “Трансфинитные рекурсивные прогрессии аксиоматических теорий”, Математика, 15:5 (1971), 84–139 ; S. Feferman, “Transfinite recursive progressions of axiomatic theories”, J. Symbolic Logic, 27 (1962), 259–316 |
|
Обратная связь: