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