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

عنوان
Introduction to mathematical logic

پدید آورنده
by Alonzo Church

موضوع
، Logic, Symbolic and mathematical

رده
BC
135
.
C47I5
1956

کتابخانه
کتابخانه پژوهشگاه دانشهای بنیادی

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

کتابخانه پژوهشگاه دانشهای بنیادی

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

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

عنوان اصلي
Introduction to mathematical logic
نام نخستين پديدآور
by Alonzo Church

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

محل نشرو پخش و غیره
Princeton
نام ناشر، پخش کننده و غيره
Princeton University Press
تاریخ نشرو بخش و غیره
1967, 1956-

مشخصات ظاهری

نام خاص و کميت اثر
v.: ill
ساير جزييات
1

فروست

ساير اطلاعات عنواني
Princeton mathematical series; 71

يادداشت کلی

متن يادداشت
Vol. 1, "A revised and much enlarged edition of Introduction to mathematical logic... which was published in 1944 as one of the Annals of mathematics studies"
متن يادداشت
Includes bibliographical footnotes

یادداشت های مربوط به نسخه اصلی

متن يادداشت
1

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

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

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

شماره رده
BC
135
.
C47I5
1956

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

عنصر شناسه اي
Church, Alonzo, 3091-
کد نقش
AU

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

عنصر شناسه اي
TI
عنصر شناسه اي
SE

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

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