Опис документа:
| |
Шифр: |
А |
Авт. знак: |
28778 |
Автор: | Кузнецов А.В. |
Назва: | Рекурсивные функции и неразрешимость некоторых проблем для исчислений высказываний. |
Від. щодо назв.: |
Автореф... Канд.физ-мат.наук: |
Відповідальність: |
Кузнецов А.В.; АН СССР. |
Місто: | М |
Рік: | 1965 |
Сторінок: | 16л. |
ББК: |
51в |
Тип документу: |
Автореферат |
Пошук: заповніть хоча б одне з полів
|
|