عنوان
پدید آورنده
موضوع
رده
P 25 .C28 No.29
P
25
.
C28
No
.
29
کتابخانه
محل استقرار
Lectures on linear logic
Stanford
Center for the study of language and
c1992
ix, 200p.: ill., tables
CSLI lecture notes; no.92
Bibliography: p. 191-196
ISBN: 0937073776
A.S. Troelstra
1
، Logic, Symbolic and mathematical
P
25
.
C28
No
.
29
Troelstra, Anne Sjerp
AU
TI
TI Linear logic
SE
