عرض القائمة
الرئیسیة
البحث المتقدم
قائمة المکتبات
عنوان
برهان گودل و حقیقت برهان
پدید آورنده
ناگل، ارنست، ۱۹۰۱-
موضوع
ریاضیات -- فلسفه,منطق ریاضی
رده
QA
۹
/
ن
۲
ب
۴
کتابخانه
محل استقرار
استان:
طهران
ـ شهر:
طهران
تماس با کتابخانه :
61112616
-
66495290
-
021
56153
فارسی
ناگل، ارنست، ۱۹۰۱-
برهان گودل و حقیقت برهان
تهران
مولی
۱۳۶۴
۱۴۹ص
کتاب
بالای عنوان: مباحثی در فلسفه ریاضی
عنوان اصلی:proof s'Godel
نویسندگان ارنست ناگل، ج. نیومن و آلفرد تارسکی؛ مترجم: محمد اردشیر
بخش اول. برهان گودل/ نوشته ارنست ناگل و جیمز نیومن ـ بخش دوم. حقیقت و برهان / نوشته آلفرد تارسکی
ریاضیات -- فلسفه
منطق ریاضی
QA
۹
/
ن
۲
ب
۴
پدید آورنده
نیومن، جیمز روی، ۱۹۰۷-
تارسکی، آلفرد، ۱۹۰۲-
اردشیر، محمد
پدیدآورنده
و
پدیدآورنده
عنوان
عنوان
نویسنده همکار
مترجم
کتابخانه مرکزی پردیس علوم
کتابخانه دانشکده ریاضی
الاقتراح / اعلان الخلل
×
الاقتراح / اعلان الخلل
×
تحذیر!
دقق في تسجیل المعلومات
اعلان الخلل
اقتراح