|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
Teoriya Algorifmov i Matematicheskaya Logikaсборник
- Год издания: 1974
- Место издания: Vychislitelnyi Centr AN SSSR Москва
- Добавил в систему: Плиско Валерий Егорович
Статьи, опубликованные в сборнике
-
- 1974 A certain formal system that is connected with realizability
- Plisko V.E.
- в сборнике Teoriya Algorifmov i Matematicheskaya Logika, место издания Vychislitelnyi Centr AN SSSR Москва, с. 148-158