• شماره مدرك
    3636
  • شماره راهنما
    3435
  • پديد آورنده

    گل رنگي ، مهديه

  • عنوان

    منطق اثبات ها

  • مقطع تحصيلي
    كارشناسي ارشد
  • گرايش تحصيلي
    رياضي محض
  • محل تحصيل
    اصفهان : دانشگاه اصفهان ، دانشكده رياضي
  • سال دفاع
    1386
  • صفحه شمار
    نه ، 94، [II] ص .
  • يادداشت
    ص.ع. به فارسي و انگليسي
  • واژه نامه
    فارسي به انگليسي و انگليسي به فارسي
  • توصيفگر ها

    دستگاه هيلبرتي ، گنتسني , دستگاه BILP

  • دانشكده
    رياضي
  • كد ايرانداك
    ID3435
  • چكيده فارسي
    به فارسي و انگليسي : قابل رويت در نسخه ديمجيتال
  • استاد راهنما
    مجتبي آقايي
  • استاد مشاور
    محمود بيناي مطلق
  • استاد داور
    مرتضي منيري ، بهناز عمومي