А. А. Кузичев, А. С. Кузичев, “Об одном консервативном расширении формальной арифметики”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 1988, номер 6,страницы 77

ЖУРНАЛЫ // Вестник Московского университета. Серия 1: Математика. Механика // Архив

Вестн. Моск. ун-та. Сер. 1. Матем., мех., 1988, номер 6, страницы 77–78 (Mi vmumm3010)

Краткие сообщения

Об одном консервативном расширении формальной арифметики

А. А. Кузичев, А. С. Кузичев

УДК: 510.652:510.649

Поступила в редакцию: 05.05.1986
Исправленный вариант: 01.06.1987

Полный текст: PDF файл (344 kB)

Реферативные базы данных: