عنوان
پدید آورنده
موضوع
رده
QA,9,.A1,L56,1995
QA
,
9
,.
A1
,
L56
,
1995
کتابخانه
محل استقرار
(pbk.)
0521559618
IR
ebook13860
انگلیسی
IR
Advances in linear logic
[Electronic Resource]
/ edited by Jean-Yves Girard, Yves Lafont, Laurent Regnier
Cambridge ;New York
: Cambridge University Press,
, 1995.
vi, 389 p.
(London Mathematical Society lecture note series
; 222)
e
London Mathematical Society lecture note series
222
Logic, Symbolic and mathematical--Congresses
511
.
3
QA
,
9
,.
A1
,
L56
,
1995
Girard, Jean-Yves
Lafont, Yves
Regnier, Laurent
Linear Logic Worksho� (1993
ایران
511.3
0521559618.pdf
0
old catalog
e
BL
1
a
Y
