نام پژوهشگر: مصطفی زراع خورمیزی

توسعه نظریه مدلهای کریپکی منطق مرتبه اول شهودی
پایان نامه وزارت علوم، تحقیقات و فناوری - دانشگاه شهید بهشتی - دانشکده علوم ریاضی 1388
  مصطفی زراع خورمیزی   مسعود پورمهدیان

چکیده ندارد.