Динамические логики доказательств с оператором доказуемости тема диссертации и автореферата по ВАК 01.01.06, кандидат физико-математических наук Сидон, Татьяна Леонидовна

Автореферат
Диссертация
Артикул: 40472
Год: 
1997
Автор научной работы: 
Сидон, Татьяна Леонидовна
Ученая cтепень: 
кандидат физико-математических наук
Место защиты диссертации: 
Москва
Код cпециальности ВАК: 
01.01.06
Специальность: 
Математическая логика, алгебра и теория чисел
Количество cтраниц: 
77

Автореферат
200 руб.
Диссертация
500 руб.
Артикул: 40472