• صفحه اصلی
  • جستجوی پیشرفته
  • فهرست کتابخانه ها
  • درباره پایگاه
  • ارتباط با ما
  • تاریخچه

عنوان
Introduction to mathematical logic: Set theory computable functions model theory

پدید آورنده
Jerome Malitz

موضوع
Logic, symbolic and mathematical

رده
QA
,
9
,.
M265
,
1979

کتابخانه
کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان

محل استقرار
استان: آذربایجان شرقی ـ شهر: تبریز

کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان

تماس با کتابخانه : 34327567-041

اطلاعات محلی رکورد

نوع مدرک
English Book

عنوان و نام پديدآور

عنوان اصلي
Introduction to mathematical logic: Set theory computable functions model theory
نام نخستين پديدآور
Jerome Malitz

وضعیت نشر و پخش و غیره

محل نشرو پخش و غیره
New York
نام ناشر، پخش کننده و غيره
Springer - Verlag
تاریخ نشرو بخش و غیره
1979

مشخصات ظاهری

نام خاص و کميت اثر
xii, 198 P.; 24 c.m

یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر

متن يادداشت
Includes bibliography and index

موضوع (اسم عام یاعبارت اسمی عام)

عنصر شناسه ای
Logic, symbolic and mathematical

رده بندی کنگره

شماره رده
QA
,
9
,.
M265
,
1979

نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )

عنصر شناسه اي
Malitz, Jerome

نام شخص - ( مسئولیت معنوی درجه دوم )

عنصر شناسه اي
Title

پیشنهاد / گزارش اشکال

اخطار! اطلاعات را با دقت وارد کنید
ارسال انصراف
این پایگاه با مشارکت موسسه علمی - فرهنگی دارالحدیث و مرکز تحقیقات کامپیوتری علوم اسلامی (نور) اداره می شود
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است
برترین جستجوگر - پنجمین جشنواره رسانه های دیجیتال