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

عنوان
Mathematical logic and computability

پدید آورنده
Keisler, H. Jerome

موضوع
Logic, Symbolic and mathematical , Computable functions

رده
QA
9
.
59
.
K44
1996

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

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

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

تماس با کتابخانه : ۶۶۴۰۷۴۱۸(۰۲۱) – ۶۴۵۴۲۳۴۹(۰۲۱)

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

نوع مدرک
CE H2

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

نام نخستين پديدآور
Keisler, H. Jerome
عنوان اصلي
Mathematical logic and computability

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

محل نشرو پخش و غیره
New York
نام ناشر، پخش کننده و غيره
McGraW-Hill
تاریخ نشرو بخش و غیره
1996

مشخصات ظاهری

نام خاص و کميت اثر
]viii[, 484 p.: ill. + 1 computer disc )3 1/2 in(

فروست

عنوان فروست
Schaum s solved problems series

يادداشت کلی

متن يادداشت
Includes bibliographical references )p.479( and index

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

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

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

شماره رده
QA
نشانه اثر
9
.
59
شماره رکورد رده بندي
.
K44
شماره رکورد غير از شماره رده بندي
1996

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

کد نقش
AU
عنصر شناسه اي
H. Jerome Keisler, Joel Robbin

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

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