عرض القائمة
الرئیسیة
البحث المتقدم
قائمة المکتبات
عنوان
مباحثی در فلسفه ریاضی؛ برهان گودل و حقیقت و برهان
پدید آورنده
ناگل، ارنست، ۱۹۰۱- م.
موضوع
منطق ریاضی
رده
QA
۹
/
ن
۲
م
۲ ۱۳۶۴
کتابخانه
كتابخانه مؤسسه آموزشي و پژوهشي امام خميني (ره)
محل استقرار
استان:
قم
ـ شهر:
قم
تماس با کتابخانه :
32113741
-
025
F1413
فارسی
ناگل، ارنست، ۱۹۰۱- م.
مباحثی در فلسفه ریاضی؛ برهان گودل و حقیقت و برهان
تهران
مولی
۱۳۶۴
۱۴۵ ص
عنوان اصلی: paul kegan Routledge :proof s'Godel
کتابنامه: ص. ]۱۰۵[ ؛ همچنین به صورت زیرنویس
واژهنامه
نویسندگان ارنست ناگل؛ ج. نیومن و آلفرد تارسکی؛ مترجم محمد اردشیر
منطق ریاضی
QA
۹
/
ن
۲
م
۲ ۱۳۶۴
پدید آورنده
نیومن، جیمز روی، ۱۹۰۷-۱۹۶۶ م.
تارسکی، آلفرد
اردشیر، محمد
پدیدآورنده
پدیدآورنده
پدیدآورنده
عنوان
عنوان
نویسنده همکار
نویسنده همکار
مترجم
کتابخانه و مرکز اسناد
الاقتراح / اعلان الخلل
×
الاقتراح / اعلان الخلل
×
تحذیر!
دقق في تسجیل المعلومات
اعلان الخلل
اقتراح