عنوان
پدید آورنده
موضوع
رده
QA 9 .A1 L56 1995
QA
9
.
A1
L56
1995
کتابخانه
محل استقرار
English
Advances in linear logic
Cambridge ; New York, NY, USA
Cambridge University Press
1995
vi, 389 p. :ill. ;23 cm.
London Mathematical Society lecture note series ; 222
Based on the Linear Logic Workshop held June 14-18, 1993, at the Mathematical Sciences Institute, Cornell University.
edited by Jean-Yves Girard, Yves Lafont, Laurent Regnier
1
، Logic, Symbolic and mathematical
511
.
3
QA
9
.
A1
L56
1995
TI
AU Girard, Jean-Yves.
AU Lafont, Yves.
AU Regnier, Laurent.
CO Linear Logic Workshop )3991 : Mathematical Science Institute, Cornell University(
SE
