Сидон, Татьяна Леонидовна. - Динамические логики доказательств с оператором доказуемости : автореферат дис. ... кандидата физико-математических наук : 01.01.06 / МГУ им. М. В. Ломоносова. - Москва, 1997. - 12 с.

Экспресс-заказ фрагмента
Сидон, Татьяна Леонидовна.
Сидон, Татьяна Леонидовна.
Динамические логики доказательств с оператором доказуемости : автореферат дис. ... кандидата физико-математических наук : 01.01.06 / МГУ им. М. В. Ломоносова. - Москва, 1997. - 12 с.

Математическая логика, алгебра и теория чисел
Шифр хранения:
FB 9 98-8/1525-6
FB 9 98-8/1526-4

Marc21

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

Показать

Описание

Автор
ЗаглавиеДинамические логики доказательств с оператором доказуемости : автореферат дис. ... кандидата физико-математических наук : 01.01.06
Коллекции ЭК РГБ Каталог авторефератов диссертаций
Коллекции ЭБ РГБ Авторефераты
Дата поступления в ЭК РГБ 22.04.1999
Дата поступления в ЭБ РГБ 05.05.2008
Каталоги Авторефераты диссертаций
Сведения об ответственностиМГУ им. М. В. Ломоносова
Выходные данныеМосква, 1997
Физическое описание12 с.
ТемаМатематическая логика, алгебра и теория чисел
BBK-кодВ123,03
Специальность01.01.06: Математическая логика, алгебра и теория чисел
ЯзыкРусский
Места храненияFB 9 98-8/1525-6
FB 9 98-8/1526-4
Электронный адрес Электронный ресурс