Bemærk: Kan ikke leveres før jul.
Forventes på lager: 22-06-1995
This volume gives an overview of linear logic that will be useful to mathematicians and computer scientists working in this area.
| Forlag | Cambridge University Press |
| Type | Bog |
| Format | Paperback / softback |
| Sprog | Engelsk |
| Udgivelsesdato | 22-06-1995 |
| Første udgivelsesår | 1995 |
| Serie | London Mathematical Society Lecture Note Series |
| Illustrationer | Worked examples or Exercises |
| Fagredaktør | Jean-Yves (Centre National de la Recherche Scientifique (CNRS) Girard, Yves (Centre National de la Recherche Scientifique (CNRS) Lafont, Laurent (Centre National de la Recherche Scientifique (CNRS) Regnier |
| Originalsprog | United Kingdom |
| Sideantal | 400 |
| Indbinding | Paperback / softback |
| Forlag | Cambridge University Press |
| Serieredaktør | N. J. Hitchin |
| Sideoplysninger | 400 pages, Worked examples or Exercises |
| Mål | 226 x 153 x 23 |
| ISBN-13 / EAN-13 | 9780521559614 |