0937073776 (pbk.)
IR
EN-53212
انگلیسی
IR
Lectures on linear logic
[Book]
/ A.S. Troelstra
Stanford, CA
: Center for the Study of Language and Information,
, 1992.
ix, 200 p. , ill. , 23 cm.
(CSLI lecture notes
; no. 29)
Electronic
Includes bibliographical references and index.
Linear logic
Logic, Symbolic and mathematical
E-BOOK
Troelstra, A. S. (Anne Sjerp)
ایران
0937073784.pdf
عادی
عادی
0937073784.pdf
متن
old catalog
e
BL
1
a
Y
