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