TY  - BOOK
AU  - Нагорный, Н.М.
TI  - К вопросу о непротиворечивости классической формальной арифметики
T2  - Сообщения по прикладной математике
PY  - 1995///
CY  - М.
PB  - ВЦ РАН
N2  - Библиогр.: с. 24-25
ER  -