1.
المؤلف: ادیب سلطانی ،میرشمس الدین ،- 1310
المکتبة: کتابخانه ۱۳ آبان (کتابخانه های سازمان فرهنگی هنری شهرداری تهران) (طهران)
موضوع: ،منطق ریاضی، , ،گودل ? قضیه،
رده :
511
/3
الف
348
پ
1373
2. Topics in decision problem being an investigation there of in the domains of the first ...
المؤلف: /a monograph by M. S. Adib-SoltÀni .,ادیب سلطانی,Adib Soltani
المکتبة: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع: گودل، قضیه,منطق ریاضی
رده :
QA
۹
/
۶۵
/
الف
۴
ت
۲ ۱۳۹۱
3. اصل ناپذیری ت-کمینگی
المؤلف: /افشین امرادی رایگانی
المکتبة: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع:
4. بررس امکان ساختاری شدن و راسری شدن برخی اثبات های قضیه ناتمامیت گودل
المؤلف: /پیام سراجی
المکتبة: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع:
5. برهان گودل و حقیقت و برهان
المؤلف: ناگل، ارنست، ۱۹۰۱- Nagel, Ernest
المکتبة: کتابخانه کوثر دانشگاه قم (قم)
موضوع: گودل، قضیه,منطق ریاضی
رده :
QA
۹
/
۶۵
/
ن
۲
ب
۴ ۱۳۶۴
6. برهان گودل و حقیقت و برهان
المؤلف: نویسندگان ارنست ناگل، ج. نیومن و آلفرد تارسکی
المکتبة: (طهران)
موضوع: گودل، قضیه,منطق ریاضی
رده :
QA
۹
/
۶۵
/
ن
۲
ب
۴ ۱۳۶۴
7. برهان گودل و حقیقت و برهان
المؤلف: نویسندگان ارنست ناگل، ج. نیومن و آلفرد تارسکی
المکتبة: مکتبه المؤسسه الدارسات الایرانیه (طهران)
موضوع: گودل، قضیه,منطق ریاضی
رده :
QA
۹
/
۶۵
/
ن
۲
ب
۴ ۱۳۶۴
8. برهان گودل و حقیقت و برهان
المؤلف: ناگل، ارنست
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: گودل، قضیه,منطق ریاضی
رده :
QA
۹
/
۶۵
/
ن
۲
ب
۴
9. برهان گودل و حقیقت و برهان
المؤلف: / نویسندگان ارنست ناگل، ج. نیومن، آلفرد تارسکی,عنوان اصلی: Godel's Proof.
المکتبة: (طهران)
موضوع: گودل، قضیه,منطق ریاضی
رده :
QA
۹،
/
۶۵
/
ن
۲
ب
۴
10. برهان گودل و حقیقت و برهان
المؤلف: ناگل، ارنست Nagel, Ernest ۱۹۰۱ -
المکتبة: (طهران)
موضوع: گودل، قضیه,منطق ریاضی
رده :
QA
۹
/
۶۵
/
ن
۲
ب
۴ ۱۳۶۴
11. برهان گودل و حقیقت و برهان
المؤلف: / نویسندگان ارنست ناگل، ج. نیومن و آلفرد تارسکی,عنوان اصلی: Godel's proof..
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: گودل، قضیه,منطق ریاضی
رده :
QA
۹
/
۶۵
/
ن
۲،
/
ب
۴
12. برهان گودل و حقيقت و برهان
پدیدآورنده : نويسندگان ارنست ناگل, ج نيومن و آلفرد تارسکي, ترجمه محمد اردشير
موضوع : گودل, قضيه منطق رياضي
۶ نسخه از این کتاب در ۶ کتابخانه موجود است.
13. برهان گودل و حقیقت و برهان
المؤلف: ناگل، ارنست، ۱۹۰۱ - Nagel, Ernest
المکتبة: المكتبة المركزية ومركز المعلومات (خراسان رضوی)
موضوع: گودل، قضیه,منطق ریاضی
رده :
QA
۹
/
۶۵
/
ن
۲
ب
۴ ۱۳۶۴
14. برهان گودل و حقیقت و برهان
المؤلف: / نویسندگان : ارنست ناگل، ج.نیومن آلفرد تارسکی,ناگل ,Nagel
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: گودل، قضیه,منطق ریاضی
رده :
QA9
.
65
.
N3
15. برهان گودل و حقیقت و برهان
المؤلف: ناگل، ارنست، ۱۹۰۱ - م. Nagel, Ernest
المکتبة: كتابخانه و موزه ملي ملك (طهران)
موضوع: گودل، قضیه,منطق ریاضی
رده :
۵۱۱
/
۳
ن
۲۱۸
ب
/
الفت
۱۳۶۴
16. برهان گودل و حقیقت و برهان
المؤلف: نویسندگان ارنست ناگل، ج. نیومن و آلفرد تارسکی
المکتبة: مكتبة الشيخ بهائي (خراسان رضوی)
موضوع: گودل، قضیه,منطق ریاضی
رده :
QA
۹
/
۶۵
/
ن
۲،
ب
۴
17. برهان گودل و حقيقت و برهان
پدیدآورنده : ناگل ، ارنست ، - 1901
موضوع : گودل ، قضيه=منطق رياضي
۷ نسخه از این کتاب در ۷ کتابخانه موجود است.
18. برهان گودل و حقيقت و برهان
المؤلف: /نويسندگان ارنست ناگل ، ج . نيوسن و آلفروتارسکي ,ناگل ، ارنست ، ۱۹۰۱ - ,nagel, ernest
المکتبة: (خراسان رضوی)
موضوع: گودل ، قضيه,منطق رياضي
رده :
۵۱۱
/
۳
ن
۲۱۸
ب
19. برهان گودل و حقیقت و برهان
المؤلف: / نویسندگان ارنست ناگل، ج. نیومن و آلفرد تارسکی,عنوان اصلی به زبان اصلی: Godel's proof
المکتبة: المكتبة المركزية لجامعة إيلام (إیلام)
موضوع: برهان قضیه,منطق ریاضی
رده :
QA
۹
/
۶۵
/
ن
۲
ب
۴
20. برهانهای استاندارد قضیه ی دوم ناتمامیت گودل
المؤلف: /شیوا خالقی
المکتبة: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع:
