• شماره رکورد
    1206
  • پديد آور

    اديب سلطاني ، ميرشمس الدين

  • تولد/وفات
    1310 -
  • عنوان

    پژوهشي در پيرامون مسئله ي تصميم در منطق طرح چند خوارزميك تحليلي - معنايي

  • عنوان برابر
    ص . ع . به انگليسي : Mir Samseddin Adib-Soltani. An investigation of the decision problem in logic
  • شرح پديد آور
    نوشته ميرشمس الدين اديب سلطاني ,
  • اطلاعات نشر
    اميركبير
  • سال نشر
    1373
  • مشخصات ظاهري
    xix، 652 ص .: مصور، جدول
  • فروست
    اميركبيرÝ 0856
  • عناوين ديگر
    ,
  • يادداشت
    به همراه خلاصه پژوهش به زبان انگليسي
  • واژه نامه
    واژه نامه
  • کتابنامه
    كتابنامه : ص . 603 - 608
  • موضوع

    منطق رياضي ,گودل ، قضيه

  • ردة اصلي
    BC
  • شماره
    135
  • شمارة کاتر
    /الف4پ4
  • تاريخ
    1373
  • شماره مدرک
    1206