(1)
Нагорный, Н. К вопросу о непротиворечивости классической формальной арифметики.
ЛИ
2001
,
8
, 105-128.