|
Доклады Академии наук, 1978, том 238, номер 2, страницы 269–272
(Mi dan41461)
|
|
|
|
МАТЕМАТИКА
Теорема о непротиворечивости формальной арифметики
А. С. Кузичев Московский государственный университет имени М. В. Ломоносова
Образец цитирования:
А. С. Кузичев, “Теорема о непротиворечивости формальной арифметики”, Докл. АН СССР, 238:2 (1978), 269–272
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/dan41461 https://www.mathnet.ru/rus/dan/v238/i2/p269
|
Статистика просмотров: |
Страница аннотации: | 93 | PDF полного текста: | 46 |
|