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

عنوان
A formalization of set theory without variables

پدید آورنده
Tarski, Alfred

موضوع
، Set theory,، Logic, Symbolic and mathematical

رده
QA
248
.
T37
1987

کتابخانه
کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد

محل استقرار
استان: خراسان رضوی ـ شهر: مشهد

کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد

تماس با کتابخانه : 05138806503

6895

Tarski, Alfred
A formalization of set theory without variables

Providence, R.I.
American Matheamtical Society
c1987

xxi, 318p.:ill

Colloquium publications; v.14

Bibliography: p. 273-282
Includes indexes

by Alfred Tarski and Steven Givant

، Set theory
، Logic, Symbolic and mathematical

QA
248
.
T37
1987

AU

AU Givant, Steven R
TI
SE

CL

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

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