Опис документа:
| |
Шифр: |
А |
Авт. знак: |
118231 |
Автор: | Артемов С.Н. |
Назва: | Расширения аксиоматических теорий утверждениями типа непротиворечевости и соответвующее модальные логики |
Від. щодо назв.: |
Автореф. дис. ... канд. физ.-мат. наук : 01.01.06 |
Відповідальність: |
Артемов С.Н. ; МГУ |
Місто: | Москва |
Рік: | 1979 |
Сторінок: | 10 с. |
ББК: |
В123 |
Тип документу: |
Автореферат |
Пошук: заповніть хоча б одне з полів
|
|