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

عنوان
Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985

پدید آورنده
Latin-American Symposium on Mathematical Logic )7th: 5891: State University of Campinas(

موضوع
، Logic, Symbolic and mathematical-- Congresses

رده
QA
9
.
A1
.
L37
1985

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

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

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

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

شناسگر استاندارد دیگر

شماره استاندارد
94835

زبان اثر

زبان متن نوشتاري يا گفتاري و مانند آن
آخر۲۷
زبان متن نوشتاري يا گفتاري و مانند آن
English

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

نام عام مواد
)20(
نام نخستين پديدآور
Latin-American Symposium on Mathematical Logic )7th: 5891: State University of Campinas(
عنوان اصلي
Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985

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

محل نشرو پخش و غیره
Providence, R.I.
نام ناشر، پخش کننده و غيره
American Mathematical Society
تاریخ نشرو بخش و غیره
c1988

مشخصات ظاهری

نام خاص و کميت اثر
xi, 250 p. ; 25 cm

فروست

عنوان فروست
Contemporary mathematics,ISSN 1720-2314; v. 96

يادداشت کلی

متن يادداشت
Sponsored by the Sociedade Brasileira de Logica, Sociedade Brasileira de Matematica, and the Association for Symbolic Logic
متن يادداشت
Includes bibliographies

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

عنصر شناسه ای
، Logic, Symbolic and mathematical-- Congresses

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

شماره رده
QA
9
.
A1
.
L37
1985

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

کد نقش
AU
عنصر شناسه اي
Walter A. Carnielli and Luiz Paulo de Alcantara, editors

نام / عنوان به منزله شناسه افزوده

عنصر شناسه اي
AU [[erdnaxelA retlaW].A retlaW ,illeinraC
عنصر شناسه اي
AU ed oluaP ziuL ,aratnaclA 1944-
عنصر شناسه اي
CO Sociedade Brasileira de Logica
عنصر شناسه اي
CO Sociedade Brasileira de Matematica
عنصر شناسه اي
CO Association for Symbolic Logic
عنصر شناسه اي
TI
عنصر شناسه اي
SE Contemporary mathematics ]American Mathematical Society[, v. 69

شماره دستیابی

نحوه قرار گرفتن مدرك روي قفسه
02

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

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