|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
12 th International Congress of Logic, Methodology and Philosophy of Scienceсборник
- Год издания: 2003
- Место издания: Oviedo
- Сборник тезисов
- Добавил в систему: Плиско Валерий Егорович
Статьи, опубликованные в сборнике
-
- 2003 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, место издания Oviedo, тезисы, с. 67-68