درحال بارگذاري...
جستجو
جستجو در این منبع
ترتيب بر اساس
منطق تعبیرپذیری واثبات پذیری
2353 مرتبه مشاهده شده

منطق تعبیرپذیری واثبات پذیری

معمارزاده، مسعود.

  1. شماره پایان نامه:34774
  2. کد دانشکده:02
  3. پديدآور: معمارزاده، مسعود.
  4. عنوان:منطق تعبیرپذیری واثبات پذیری.
  5. محل اخذ مدرك:تهران :
  6. نام دانشگاه/پژوهشگاه:صنعتی شریف
  7. سال اخذ مدرك:1382
  8. نام دانشکده:علوم ریاضی
  9. گرایش:کارشناسی ارشد (ریاضی محض)
  10. یادداشت:124ص0: کتابنامه
  11. توصیفگر: حساب Arithmetic
  12. توصیفگر: منطق موجهات Modal Logic
  13. توصیفگر: اثبات پذیری Provability
  14. توصیفگر: تعبیرپذیری Interpretability
  15. استاد راهنما. اردشیر، محمد،

 فهرست محتوای دیجیتالی

 فهرست مطالب

اين منبع فهرست مطالبي ندارد

 فهرست نقدها