عرض القائمة
الرئیسیة
البحث المتقدم
قائمة المکتبات
حول الموقع
اتصل بنا
نشأة
عنوان
Lectures on linear logic
پدید آورنده
/ A.S. Troelstra
موضوع
Logic, Symbolic and mathematical
رده
QA9
.
T76
1991
کتابخانه
کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره
محل استقرار
استان:
أردبیل
ـ شهر:
أردبیل
تماس با کتابخانه :
90
-
33512081
-
045
0937073784
0937073776
IR
EB15689
انگلیسی
IR
Lectures on linear logic
[Electronic Resource]
/ A.S. Troelstra
Stanford, CA
: Center for the Study of Language and Information,
, c1992.
ix, 200 p. ill. 24 cm.
(CSLI lecture notes
; no. 29)
e
ng
Includes bibliographical references (p. 191-196) and index.
Linear logic
Logic, Symbolic and mathematical
511
.
3
QA9
.
T76
1991
Troelstra, A. S.(Anne Sjerp)
ایران
0937073776.pdf
محرمانه
محرمانه
0937073776.pdf
0
متن
old catalog
e
BL
1
a
Y
الاقتراح / اعلان الخلل
×
الاقتراح / اعلان الخلل
×
تحذیر!
دقق في تسجیل المعلومات
اعلان الخلل
اقتراح