|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
Конструктивные семантики, основанные на гёделевской интерпретации арифметических сужденийстатья
- Автор: Плиско В.Е.
- Сборник: Актуальные проблемы современной математики
- Том: 1
- Год издания: 1995
- Место издания: НИИ МИОО НГУ Новосибирск
- Первая страница: 114
- Последняя страница: 120
- Добавил в систему: Плиско Валерий Егорович