دسترسی همگانی(OPAC) نام کتابخانه در اوپک

The undecidable (2004)

نوع مدرک:	متون چاپی
رده‌بندی کنگره :	QA9.65 .U53 2004
عنوان :	The undecidable : basic papers on undecidable propositions, unsolvable problemsand computable functions
تکرار نام مولف :	edited by Martin Davis
ناشر:	New York : Dover Publication, Inc
سال نشر :	2004
صفحه شمار:	413p
شناسه افزوده :	Davis ، Martin (1928)
موضوع‌ها :	اصفا Gedel's theorm. Unsolvability (Mathematical logic\|) ؛ Recursive functions ؛ Turing machines ؛ Computable functions
لینک ثابت رکورد:	../opac/index.php?lvl=record_display&id=11027
زبان مدرک :	English

شماره ثبت	شماره بازیابی	نام عام مواد	محل نگهداری	بخش	وضعیت ثبت	وضعیت امانت
3205	QA9.65 .U53 2004	کتاب لاتین	کتابخانه سجاد	سایر	اسناد معمولی	موجود