Номер документа в системі: | 137282 |
Автор: | Косовский Н. К. |
Назва документа: | Элементы математической логики и ее приложения к теории субрекурсивных алгоритмов |
Видавництво: | Изд-во ЛГУ |
Місто видання: | Ленинград |
Рік видання: | 1981 |
УДК | 004.421(075.8) |
Мова документу | Російська |
Шифр документу | 51 |
Кількість сторінок | 192 с. |