عرض القائمة
الرئیسیة
البحث المتقدم
قائمة المکتبات
حول الموقع
اتصل بنا
نشأة
ورود / ثبت نام
عنوان
Computability and logic
پدید آورنده
George S. bools, John P.Burgess, Richard C. Jeffrey
موضوع
Computable functions,Recursive functions,Logic, Symbolic and mathematical
رده
QA
9
.
59
.
B66
کتابخانه
کتابخانه پردیس هنرهای زیبا دانشگاه تهران
محل استقرار
استان:
طهران
ـ شهر:
طهران
تماس با کتابخانه :
61113246
-
61112755 021
-
66499680 021
-
021
لاتين
George S. bools, John P.Burgess, Richard C. Jeffrey
Computability and logic
5th ed.
2007
xiii, 350 p. : ill.
مرجع به حساب نمي آيد
Computable functions
Recursive functions
Logic, Symbolic and mathematical
QA
9
.
59
.
B66
مولف
Boolos, George
Burgess, John P.
Jeffrey, Richard C.
1948-
الاقتراح / اعلان الخلل
×
الاقتراح / اعلان الخلل
×
تحذیر!
دقق في تسجیل المعلومات
اعلان الخلل
اقتراح