|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
О погружении расширенного исчисления предикатов K0 со схемой аксиом свертывания в арифметикустатья
- Автор: Шмаин Илья Хананович
- Сборник: Исследования по математической лингвистике, математической логике и информационным языкам
- Редакторы: Бочвар Дмитрий Анатольевич, Финн Виктор Константинович
- Год издания: 1972
- Место издания: Наука Москва
- Первая страница: 217
- Последняя страница: 226
- Добавил в систему: Золин Евгений Евгеньевич