|
Доклады Академии наук, 1978, том 243, номер 6, страницы 1384–1386
(Mi dan42219)
|
|
|
|
МАТЕМАТИКА
О существенности параметров и сложности основной формулы в схеме аксиом свертки в арифметике второго порядка
В. Г. Кановей Московский институт инженеров железнодорожного транспорта
Образец цитирования:
В. Г. Кановей, “О существенности параметров и сложности основной формулы в схеме аксиом свертки в арифметике второго порядка”, Докл. АН СССР, 243:6 (1978), 1384–1386
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/dan42219 https://www.mathnet.ru/rus/dan/v243/i6/p1384
|
Статистика просмотров: |
Страница аннотации: | 112 | PDF полного текста: | 42 |
|