عنوان
پدید آورنده
موضوع
رده
۵۱۰ /۱ ن۲۱۸ب ۱۳۶۴
۵۱۰
/
۱
ن
۲۱۸
ب
۱۳۶۴
کتابخانه
محل استقرار
۱۳۰۸۷۱
فارسی
IR
برهان گودل و حقيقت و برهان
[کتاب]
/ نويسندگان: ارنست ناگل، ج. نبومن و آلفرد تارسکي
؛ مترجم: محمد اردشير
[تهران]
: ملي
، ق۱۴۰۵ =۱۳۶۴
۱۴۵ص.: جدول، نمودار
بالاي صفحه عنوان: مباحثي در فلسفه رياضي، برهان گودل و حقيقت و برهان. ;
منطق رياضي
رياضيات - فلسفه
۵۱۰
/
۱
ن
۲۱۸
ب
۱۳۶۴
ناگل، ارنست
نبومن، جيمز ري
۱۹۰۷-
تارسکي، الفرد
، ۱۹۰۷-
، author
، author
، author
ایران
فهرست نويس قبلي
کتاب فارسی
1
Y
