|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
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
- Даты проведения конференции: 19-25 августа 1995
- Дата доклада: 22 августа 1995
- Тип доклада: Устный
- Докладчик: не указан
- Место проведения: Флоренция, Italy
- Добавил в систему: Плиско Валерий Егорович