|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
10th International Congress of Logic, Methodology and Philosophy of Science. Volume of Abstractsсборник
- Год издания: 1995
- Место издания: Florence, Italy
- Сборник тезисов
- Добавил в систему: Плиско Валерий Егорович
Статьи, опубликованные в сборнике
-
- 1995 A formalization of the Tennenbaum theorem and its applications to modified realizability and Goedel interpretation
- Plisko V.E.
- в сборнике 10th International Congress of Logic, Methodology and Philosophy of Science. Volume of Abstracts, место издания Florence, Italy, тезисы, с. 57-57