Lectures on linear logic
Edición de la obra Lectures on linear logic
| Autor | A. S. Troelstra |
|---|---|
| Editorial | Center for the Study of Language and Information |
| Fecha de publicación | 1992 |
| Lugar | Stanford, CA |
| Idioma | inglés |
| Páginas | 200 |
| ISBN-10 | 0937073784, 0937073776 |
| OCLC | 24696140 |
| LCCN | 91038902 |
| Serie | CSLI lecture notes ; · no. 29 |
| Número de Cutter | T843l |