• الرئیسیة
  • البحث المتقدم
  • قائمة المکتبات
  • حول الموقع
  • اتصل بنا
  • نشأة

عنوان
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

الاقتراح / اعلان الخلل

تحذیر! دقق في تسجیل المعلومات
ارسال عودة
تتم إدارة هذا الموقع عبر مؤسسة دار الحديث العلمية - الثقافية ومركز البحوث الكمبيوترية للعلوم الإسلامية (نور)
المكتبات هي المسؤولة عن صحة المعلومات كما أن الحقوق المعنوية للمعلومات متعلقة بها
برترین جستجوگر - پنجمین جشنواره رسانه های دیجیتال