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