3 citations to 10.1007/3-540-63385-5_36 (Crossref Cited-By Service)

1. Лев Дмитриевич Беклемишев, Lev Dmitrievich Beklemishev, “Схемы рефлексии и алгебры доказуемости в формальной арифметике”, УМН, 60, № 2, 2005, 3  
2. Sergei N. Artemov, Lev D. Beklemishev, 13, Handbook of Philosophical Logic, 2nd Edition, 2005, 189  
3. Wolfgang Rautenberg, A Concise Introduction to Mathematical Logic, 2010, 269