Опис документа:
| |
Шифр: |
А |
Авт. знак: |
Зыко |
Автор: | Зыков А.А. |
Назва: | О сведении проблемы разрешимости в логических исчислениях. |
Від. щодо назв.: |
Автореф... канд. физ.-мат.наук: |
Відповідальність: |
Зыков А.А.; |
Місто: | Москва |
Рік: | 1950 |
Сторінок: | 5 л. |
ББК: |
51(01)+16 |
Тип документу: |
Автореферат |
Пошук: заповніть хоча б одне з полів
|
|