|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Computational Logic and Proof Theory, 5th Kurt Godel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedingsсборник
- Год издания: 1997
- Серия: Lecture Notes in Computer Science
- Том: 1289
- Место издания: Springer
- Добавил в систему: Золин Евгений Евгеньевич
Статьи, опубликованные в сборнике
-
- 1997 Markov's rule is admissible in the set theory with intuitionistic logic
- Khakhanian V.Kh
- в сборнике Computational Logic and Proof Theory, 5th Kurt Godel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings, серия Lecture Notes in Computer Science, место издания Springer, том 1289, с. 167-171 DOI
-
- 1997 Two semantics and logics based on the Gödel interpretation
- Plisko V.
- в сборнике Computational Logic and Proof Theory, 5th Kurt Godel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings, серия Lecture Notes in Computer Science, место издания Springer, том 1289, с. 233-240 DOI