|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Вычислимость примитивно рекурсивных термов конечного типа и примитивно рекурсивная реализациястатья
Статья опубликована в журнале из списка RSCI Web of Science
- Автор: Драгалин Альберт Григорьевич
- Журнал: Записки научных семинаров Санкт-Петербургского отделения математического института им. В.А. Стеклова РАН
- Номер: 8
- Год издания: 1968
- Издательство: Учреждение Российской академии наук Санкт-Петербургское отделение Математического института им. В.А. Стеклова РАН
- Местоположение издательства: Санкт-Петербург
- Первая страница: 32
- Последняя страница: 45
- Аннотация: Подзаголовок данного выпуска журнала: Исследования по конструктивной математике и математической логике. II. URL: http://mi.mathnet.ru/znsl2247
- Добавил в систему: Золин Евгений Евгеньевич