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

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

چکیده ندارد.