Головная страница ИПМ Библиотеки, издания  •  Поиск публикаций  English 
Публикация

№ 9, Москва, 2005 г.
Авторы: Попов С.В.
Об устранимости аксиомы индукции
Аннотация:
Устанавливается, что в арифметических доказательствах формул, которые не содержат индивидных переменных, устранима аксиома индукции.
Язык публикации: русский, страниц: 28
Направление исследований:
Математическое моделирование в актуальных проблемах науки и техники
Полный текст: Сведения об авторах:
  • Попов С.В.