- Нові надходження
- Простий пошук
- Розширений пошук
- Допомога
- Автори
- Видавництва
- Серії
- Тезаурус (Рубрики)
- Публічні полиці
Cheng, Yong - Harrington’s principle in higher order arithmetic
Нет экз.
Статья
Автор: Cheng, Yong
The Journal of Symbolic Logic: Harrington’s principle in higher order arithmetic
б.г.
ISBN отсутствует
Автор: Cheng, Yong
The Journal of Symbolic Logic: Harrington’s principle in higher order arithmetic
б.г.
ISBN отсутствует
Статья
Cheng, Yong.
Harrington’s principle in higher order arithmetic / Y. Cheng, R. Schindler // The Journal of Symbolic Logic. – 2015. – Vol.80, № 2. – P. 477-489.
Cheng, Yong.
Harrington’s principle in higher order arithmetic / Y. Cheng, R. Schindler // The Journal of Symbolic Logic. – 2015. – Vol.80, № 2. – P. 477-489.