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

Экспресс-заказ фрагмента
Беклемишев, Лев Дмитриевич.
Классификация пропозициональных логик доказуемости : диссертация ... кандидата физико-математических наук : 01.01.06. - Москва, 1992. - 104 с.

Математическая логика, алгебра и теория чисел
Шифр хранения:
OD 61 92-1/3772

Marc21

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

Показать

Описание

Автор
ЗаглавиеКлассификация пропозициональных логик доказуемости : диссертация ... кандидата физико-математических наук : 01.01.06
Коллекции ЭК РГБ Каталог диссертаций
Дата поступления в ЭК РГБ 12.11.2008
Каталоги Диссертации
Выходные данныеМосква, 1992
Физическое описание104 с.
ТемаМатематическая логика, алгебра и теория чисел
BBK-кодВ123,0
Специальность01.01.06: Математическая логика, алгебра и теория чисел
ЯзыкРусский
Места храненияOD 61 92-1/3772