|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Craig interpolation property in modal logics with provability interpretationsстатья
- Автор: Sidon T.
- Сборник: Logical Foundations of Computer Science, Third International Symposium, LFCS'94, St. Petersburg, Russia, July 11-14, 1994, Proceedings
- Редактор: Матиясевич Юрий Владимирович
- Серия: Lecture Notes in Computer Science
- Том: 813
- Год издания: 1994
- Место издания: Springer
- Первая страница: 329
- Последняя страница: 340
- Добавил в систему: Яворская Татьяна Леонидовна