|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Primitive recursive realizability and the predicate logicтезисы доклада
- Авторы: Plisko V., Viter D., Park B.H.
- Сборник: 12 th International Congress of Logic, Methodology and Philosophy of Science
- Тезисы
- Год издания: 2003
- Место издания: Oviedo
- Первая страница: 67
- Последняя страница: 68
- Добавил в систему: Плиско Валерий Егорович