Система работает в тестовом режиме. Предыдущая версия поиска доступна по ссылке.

Маляукене, Ливия Клеменсо - Заменимость различных форм аксиомы индукции во фрагментах арифметики : автореферат дис. ... кандидата физико-математических наук : 01.01.06

Карточка

Маляукене, Ливия Клеменсо.

Заменимость различных форм аксиомы индукции во фрагментах арифметики : автореферат дис. ... кандидата физико-математических наук : 01.01.06 / Математический ин-т. - Ленинград, 1989. - 16 с.
Математическая логика, алгебра и теория чисел
9 91-8/900-1

Marc21

Показать

Описание

Автор
ЗаглавиеЗаменимость различных форм аксиомы индукции во фрагментах арифметики : автореферат дис. ... кандидата физико-математических наук : 01.01.06
Дата поступления в ЭК 26.11.1997
Каталоги Авторефераты диссертаций
Сведения об ответственностиМатематический ин-т
Выходные данныеЛенинград, 1989
Физическое описание16 с.
ТемаМатематическая логика, алгебра и теория чисел
BBK-кодВ123,03
Специальность01.01.06: Математическая логика, алгебра и теория чисел
ЯзыкРусский
Места хранения9 91-8/900-1