Неарифметичность истинностных предикатных логик доказуемости
С. Н. Артемов

Эта публикация цитируется в следующих статьяx:

1. С. Н. Артемов, “Подход Колмогорова и Гёделя к интуиционистской логике и работы последнего десятилетия в этом направлении”, УМН, 59:2(356) (2004), 9–36          ; S. N. Artemov, “Kolmogorov and Gödel's approach to intuitionistic logic: current developments”, Russian Math. Surveys, 59:2 (2004), 203–229      
2. Р. Э. Яворский, “О пренексном фрагменте логики доказуемости с кванторами по доказательствам”, Математическая логика и алгебра, Сборник статей. К 100-летию со дня рождения академика Петра Сергеевича Новикова, Труды МИАН, 242, Наука, МАИК «Наука/Интерпериодика», М., 2003, 123–135      ; R. È. Yavorskii, “On Prenex Fragment of Provability Logic with Quantifiers on Proofs”, Proc. Steklov Inst. Math., 242 (2003), 112–124
3. S. N. Artemov, T. Yavorskaya, “On first order logic of proofs”, Mosc. Math. J., 1:4 (2001), 475–490