Библиографический источник

Полнота системы аксиом арифметики с правилом конструктивно-бесконечной индукции

А. В. Кузнецов

Заглавие:: Полнота системы аксиом арифметики с правилом конструктивно-бесконечной индукции
Автор:: Кузнецов А. В.
Язык текста:: Русский
Сведения об источнике:: Успехи математических наук. – 1957. – Т. 12, вып. 4(76). – P. 218–219.
Электронная версия:: Перейти