نمایش منو
صفحه اصلی
جستجوی پیشرفته
فهرست کتابخانه ها
عنوان
Computability and logic
پدید آورنده
موضوع
Computable functions. ; Recursive functions. ; Logic, Symbolic and mathematical. ;
رده
کتابخانه
كتابخانه مركزی و مركز اسناد دانشگاه مازندران
محل استقرار
استان:
مازندران
ـ شهر:
بابلسر
تماس با کتابخانه :
62
-
35302861
-
011
شماره کتابشناسی ملی
شماره
oldebook34133
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
eng
عنوان و نام پديدآور
عنوان اصلي
Computability and logic
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Cambridge ;New York :
نام ناشر، پخش کننده و غيره
: Cambridge University Press,
تاریخ نشرو بخش و غیره
, 2002.
یادداشتهای مربوط به نشر، بخش و غیره
متن يادداشت
Print
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computable functions. ; Recursive functions. ; Logic, Symbolic and mathematical. ;
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
; Jeffrey, Richard C. ; -Boolos, George. ; Burgess, John P., ; 1948
وضعیت فهرست نویسی
وضعیت فهرست نویسی
old catalog
پیشنهاد / گزارش اشکال
×
پیشنهاد / گزارش اشکال
×
اخطار!
اطلاعات را با دقت وارد کنید
گزارش خطا
پیشنهاد