Опис документа:
| |
Шифр: |
А |
Авт. знак: |
77535 |
Автор: | Голота Я.Я. |
Назва: | Установление выводимости в конструктивном исчислении высказываний путем учета глубинных зацеплений |
Від. щодо назв.: |
Автореф... канд. физ.-мат.наук: 007 |
Відповідальність: |
Голота Я.Я.; АН СССР. Мат. ин-т им. А.В.Стеклова. Ленингр. отд-ние |
Місто: | Л. |
Рік: | 1971 |
Сторінок: | 16л. |
ББК: |
В12 |
Тип документу: |
Автореферат |
Пошук: заповніть хоча б одне з полів
|
|