نمایش منو
صفحه اصلی
جستجوی پیشرفته
فهرست کتابخانه ها
انتخاب زبان
فارسی
English
العربی
عنوان
Computability and logic
پدید آورنده
George Boolos, Richard Jeffrey,Title
موضوع
Computable functions,Recursive functions,Logic, Symbolic and mathematical
رده
QA
.
B66
9
.
59
1980
کتابخانه
كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين
محل استقرار
استان:
قزوین
ـ شهر:
قزوين
تماس با کتابخانه :
33780050
-
028
عنوان و نام پديدآور
عنوان اصلي
Computability and logic
نام نخستين پديدآور
George Boolos, Richard Jeffrey
وضعیت ویراست
وضعيت ويراست
2d ed
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Cambridge )Eng.(, New York
نام ناشر، پخش کننده و غيره
Cambridge University Press
تاریخ نشرو بخش و غیره
1980
مشخصات ظاهری
نام خاص و کميت اثر
x, 285 p. ; 24 cm
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
Includes bibliographical references and index
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Computable functions
عنصر شناسه ای
Recursive functions
عنصر شناسه ای
Logic, Symbolic and mathematical
رده بندی کنگره
شماره رده
QA
شماره رکورد رده بندي
9
.
59
نشانه اثر
.
B66
شماره رکورد غير از شماره رده بندي
1980
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
عنصر شناسه اي
Boolos, George.
عنصر شناسه اي
Title
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
Jeffrey, Richard C
اطلاعات گونه گون
.joint author
اطلاعات رکورد کتابشناسی
نوع ماده
English Book
پیشنهاد / گزارش اشکال
×
پیشنهاد / گزارش اشکال
×
اخطار!
اطلاعات را با دقت وارد کنید
گزارش خطا
پیشنهاد