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