شماره مدرك
3636
شماره راهنما
3435
پديد آورنده
گل رنگي ، مهديه
عنوان
منطق اثبات ها
مقطع تحصيلي
كارشناسي ارشد
گرايش تحصيلي
رياضي محض
محل تحصيل
اصفهان : دانشگاه اصفهان ، دانشكده رياضي
سال دفاع
1386
صفحه شمار
نه ، 94، [II] ص .
يادداشت
ص.ع. به فارسي و انگليسي
واژه نامه
فارسي به انگليسي و انگليسي به فارسي
توصيفگر ها
دستگاه هيلبرتي ، گنتسني , دستگاه BILP
دانشكده
رياضي
كد ايرانداك
ID3435
چكيده فارسي
به فارسي و انگليسي : قابل رويت در نسخه ديمجيتال
استاد راهنما
مجتبي آقايي
استاد مشاور
محمود بيناي مطلق
استاد داور
مرتضي منيري ، بهناز عمومي