Advances in linear logic
Автор-организации: | Linear Logic Workshop |
---|---|
Други автори: | Girard, Jean-Yves., Lafont, Yves., Regnier, Laurent. |
Формат: | Електронен |
Език: | English |
Публикувано: |
Cambridge ; New York, NY, USA :
Cambridge University Press,
1995.
|
Серия: |
London Mathematical Society lecture note series ;
222. |
Предмети: | |
Онлайн достъп: |
http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=552378 |
Подобни документи: |
Print version::
Advances in linear logic. |
Онлайн достъп от Библиотека ”Паница” на Американския университет в България: |
http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=552378 |
---|
Провери в Paniza Library, AUBG | Сигнатура: |
QA9.A1 L56 1995eb |
---|