|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Некоторые применения метода рекурсивной реализуемости к интуиционистской теории типовстатья
- Автор: Шварц Григорий Феликсович
- Сборник: Неклассические логики и их применение
- Серия: Вопросы кибернетики
- Том: 75
- Год издания: 1982
- Место издания: Научный совет АН СССР по комплексной проблеме «Кибернетика»
- Первая страница: 37
- Последняя страница: 54
- Добавил в систему: Золин Евгений Евгеньевич