TY  - BOOK
AU  - Ehrhard,Thomas
TI  - Linear logic in computer science
T2  - London Mathematical Society lecture note series
SN  - 0521608570 (rústica)
AV  - QA9.54 L56
PY  - 2004///
CY  - Cambridge, United Kingdom
PB  - Cambridge University Press
KW  - Teoría de la demostración
KW  - Lógica simbólica y matemática
KW  - Matemáticas computacionales
ER  -