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

عنوان
classical logics, model theory, and computability-Non

پدید آورنده

موضوع
Nonclassical mathematical logic ; Congresses. ; Model theory ; Congresses. ; Computable functions ; Congresses. ;

رده

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

محل استقرار
استان: مازندران ـ شهر: بابلسر

كتابخانه مركزی و مركز اسناد دانشگاه مازندران

تماس با کتابخانه : 62-35302861-011

شماره کتابشناسی ملی

شماره
oldebook44941

زبان اثر

زبان متن نوشتاري يا گفتاري و مانند آن
eng

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

عنوان اصلي
classical logics, model theory, and computability-Non

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

محل نشرو پخش و غیره
Amsterdam ;New York :New York :
نام ناشر، پخش کننده و غيره
: Holland,-Holland Pub. Co. ;sale distributors for the U.S.A. and Canada, Elsevier/North-North
تاریخ نشرو بخش و غیره
, 1977.

یادداشتهای مربوط به نشر، بخش و غیره

متن يادداشت
Print

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

موضوع مستند نشده
Nonclassical mathematical logic ; Congresses. ; Model theory ; Congresses. ; Computable functions ; Congresses. ;

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

مستند نام اشخاص تاييد نشده
Arruda, Ayda I. ; Costa, Newton C. A. da. ; Chuaqui, R. ;

وضعیت فهرست نویسی

وضعیت فهرست نویسی
old catalog

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

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