عرض القائمة
الرئیسیة
البحث المتقدم
قائمة المکتبات
عنوان
مباحثی در فلسفه ریاضی: برهان گودل و حقیقت برهان
پدید آورنده
ناگل، ارنست، ۱۹۰۱- م.، Ernest ,Nagel
موضوع
گودل، قضیه,منطق ریاضی
رده
QA
۹
/
ن
۲۸
کتابخانه
کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد
محل استقرار
استان:
خراسان رضوی
ـ شهر:
مشهد
تماس با کتابخانه :
05138806503
CLFB0136578
SCFB0016722
MSFB0036500
MSFB0036511
MSFB0036496
SCFB0253642
ناگل، ارنست، ۱۹۰۱- م.، Ernest ,Nagel
مباحثی در فلسفه ریاضی: برهان گودل و حقیقت برهان
تهران
مولی
۱۳۶۴
۱۴۵ص
عنوان اصلی: .Proof s'Godel
از ارنست ناگل، ج. نیومن، آلفرد تارسکی؛ ترجمه محمد اردشیر
گودل، قضیه
منطق ریاضی
QA
۹
/
ن
۲۸
پدید آورنده
نیومن، جیمز روی، ۱۹۰۷-
تارسکی، آلفرد، ۱۹۰۲-
اردشیر بهرستاقی، محمد، ۱۳۳۵-
پدیدآورنده
پدیدآورنده
پدیدآورنده
عنوان
عنوان
نویسنده همکار
نویسنده همکار
مترجم
مر
مر.وجین
مر
مر
مر
مر
الاقتراح / اعلان الخلل
×
الاقتراح / اعلان الخلل
×
تحذیر!
دقق في تسجیل المعلومات
اعلان الخلل
اقتراح