Advances in linear logic, edited by Jean-Yves Girard, Yves Lafont, and Laurent Regnier, London Mathematical Society lecture note series, no. 222, Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1995, vii + 389 pp
| Autor: | Dale Miller |
|---|---|
| Rok vydání: | 1997 |
| Předmět: | |
| Zdroj: | Journal of Symbolic Logic. 62:678-680 |
| ISSN: | 1943-5886 0022-4812 |
| DOI: | 10.2307/2275558 |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|