|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
On the Craig interpolation and the fixed point properties of GLPстатья
- Автор: Beklemishev L.
- Сборник: Proofs, categories and computations
- Серия: Tributes
- Том: 13
- Год издания: 2010
- Место издания: College Publications London
- Первая страница: 49
- Последняя страница: 60
- Добавил в систему: Беклемишев Лев Дмитриевич