Электронный каталог: Cheng, Yong - Harrington’s principle in higher order arithmetic