Панкратьев, Николай Анатольевич - Об исчислении предикатов в арифметике с оператором доказуемости : автореферат дис. ... кандидата физико-математических наук : 01.01.06

Карточка

Панкратьев, Николай Анатольевич.

Об исчислении предикатов в арифметике с оператором доказуемости : автореферат дис. ... кандидата физико-математических наук : 01.01.06 / МГУ им. М. В. Ломоносова. - Москва, 1989. - 15 с.
Математическая логика, алгебра и теория чисел
FB 9 90-1/3872-4
FB 9 90-1/3873-2

Marc21

Скачать marc21-запись
Скачать rusmarc-запись

Показать

Описание

Автор
ЗаглавиеОб исчислении предикатов в арифметике с оператором доказуемости : автореферат дис. ... кандидата физико-математических наук : 01.01.06
Дата поступления в ЭК 13.03.1990
Каталоги Авторефераты диссертаций
Сведения об ответственностиМГУ им. М. В. Ломоносова
Выходные данныеМосква, 1989
Физическое описание15 с.
ТемаМатематическая логика, алгебра и теория чисел
BBK-кодВ123,03
Специальность01.01.06: Математическая логика, алгебра и теория чисел
ЯзыкРусский
Места храненияFB 9 90-1/3872-4
FB 9 90-1/3873-2