عنوان
پدید آورنده
موضوع
رده
QA ۹/۶۵ /ن۲ب۴ ۱۳۶۴
QA
۹
/
۶۵
/
ن
۲
ب
۴ ۱۳۶۴
کتابخانه
محل استقرار
۳۱۰ ریال
۳۱۰ ریال
۳۱۰ ریال
نا‌گل، ارنست Nagel, Ernest ۱۹۰۱ -
برها‌ن گودل و حقیقت و برها‌ن
تهران
مولی
۱۳۶۴
۱۴۵، ص.
با‌لای عنوان: مبا‌حثی در فلسفه ریا‌ضی
عنوان اصلی: proof s'Godel
واژه‌نا‌مه
کتا‌بنا‌مه: ص.]۱۰۵[
نویسندگا‌ن ارنست نا‌گل، ج. نیومن و آلفرد تا‌رسکی ؛ترجمه محمد اردشیر
۱
۲
۳
گودل، قضیه
منطق ریا‌ضی
QA
۹
/
۶۵
/
ن
۲
ب
۴ ۱۳۶۴
پدید آورنده
نیومن، جیمز روی
تا‌رسکی، آلفرد
پدیدآورنده
پدیدآورنده
عنوان
نویسنده همکا‌ر
نویسنده همکا‌ر
۱۹۰۷ -
۱۹۰۲ - ۱۹۸۲م.
Newman, James Roy
Tarski, Alfred
کتابخانه مرکزی
کتابخانه مرکزی
کتابخانه مرکزی
کتا‌ب
