Описание / Карточка / Поля MARC | Действия | |
---|---|---|
Автор | Рыбаков, Михаил Николаевич |
загрузить
в подборку |
Заглавие | Сложность пропозициональных логик с конечным числом переменных : автореферат дис. ... кандидата физико-математических наук : 01.01.06 | |
Выходные данные | Ярославль 2005 | |
Физическое описание | 15 с. | |
Тема | Физико-математические науки -- Математика -- Основания математики. Математическая логика -- Логические исчисления. Исчисление высказываний, исчисление предикатов | |
Тема | Математическая логика, алгебра и теория чисел | |
Хранение | 9 05-12/1739-0; | |
Хранение | 9 05-12/1740-4; | |
Электронный адрес |
Электронный ресурс |