|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Invited papers presented at the Conference on Proof Theory, Provability Logic, and Computation – Prefaceстатья
Информация о цитировании статьи получена из
Scopus,
Web of Science
Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 18 декабря 2013 г.
- Авторы: Artemov Sergei, Boolos George, Engeler Erwin, Feferman Solomon, Jäger Gerhard, Visser Albert
- Журнал: Annals of Pure and Applied Logic
- Том: 75
- Номер: 1-2
- Год издания: 1995
- Издательство: Elsevier BV
- Местоположение издательства: Netherlands
- Первая страница: 1
- Последняя страница: 1
- DOI: 10.1016/0168-0072(95)90049-7
- Добавил в систему: Артемов Сергей Николаевич