Феферман Соломон

Публикации в базе данных Math-Net.Ru

1. Неполнота вдоль путей в прогрессиях теорий
   
   Математика, 15:6 (1971),  159–166
2. Классификация рекурсивных функций с помощью иерархий
   
   Математика, 15:6 (1971),  137–158
3. Трансфинитные рекурсивные прогрессии аксиоматических теорий
   
   Математика, 15:5 (1971),  84–139