|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Free monoid completeness of the Lambek calculus allowing empty premisesстатья
- Автор: Pentus Mati
- Сборник: Logic Colloquium '96, San Sebastián, Spain, 1996
- Серия: Lecture Notes in Logic
- Том: 12
- Год издания: 1998
- Место издания: Springer Berlin
- Первая страница: 171
- Последняя страница: 209
- Добавил в систему: Пентус Мати Рейнович