• الرئیسیة
  • البحث المتقدم
  • قائمة المکتبات

عنوان
Eine Termlogik mit Auswahloperator

پدید آورنده
Hermes, Hans

موضوع
، Logic, Symbolic and mathematical

رده
QA
3
.
L28
no
.
6

کتابخانه
كتابخانه مركزی دانشگاه صنعتی شریف

محل استقرار
استان: طهران ـ شهر: طهران

كتابخانه مركزی دانشگاه صنعتی شریف

تماس با کتابخانه : 66005817-021

2416

بها‌ر۹۸
English

)20(
Hermes, Hans
Eine Termlogik mit Auswahloperator

Berlin
Springer-Verlag
1965

42 p.: 30 cm.

Lecture notes in mathematics
6

Includes bibliographical references

، Logic, Symbolic and mathematical

QA
3
.
L28
no
.
6

AU

TI
SE

02

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

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