Опис документа:
| |
Шифр: |
А |
Авт. знак: |
85676 |
Автор: | Вагрис Ф.Г. |
Назва: | Исследование систем правил вывода в языках ступенчатой семантической системы конструктивной математической логики. |
Від. щодо назв.: |
Автореф... Канд.физ-мат.наук: 01.007 |
Відповідальність: |
Вагрис Ф.Г.; МГУ |
Місто: | М |
Рік: | 1972 |
Сторінок: | 8л. |
ББК: |
В12 |
Тип документу: |
Автореферат |
Пошук: заповніть хоча б одне з полів
|
|