اطلاعات محلی رکورد
نوع مدرک
کتاب فارسی
عنوان و نام پديدآور
عنوان اصلي
پژوهشی در پیرامون مسئله‌ی تصمیم در منطق طرح چند خوارزمیک تحلیلی معنا‌یی
نام نخستين پديدآور
نوشته میر شمس‌الدین ادیب سلطا‌نی
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
تهران
نام ناشر، پخش کننده و غيره
امیرکبیر
تاریخ نشرو بخش و غیره
۱۳۷۳
مشخصات ظاهری
نام خاص و کميت اثر
xix، ۶۵۲ ص.؛ ۲۴ س.م
فروست
عنوان فروست
امیرکبیر؛ ۶-۸۵، ۷۳-۱
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
واژه‌نا‌مه
متن يادداشت
کتابنامه: ص. ۶۰۳- ۶۰۸
عنوان روی جلد
عنوان روي جلد
ص. ع. به انگلیسیAn investigation of the decision problem in logic. the outline of aanalytic- semantic algorithms. :
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
منطق ریا‌ضی
عنصر شناسه ای
گودل، قضیه
رده بندی کنگره
شماره رده
BC
،۱۳۵،
/
الف
۴
پ
۴
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
عنصر شناسه اي
ادیب سلطا‌نی، میر شمس‌الدین
تاريخ
۱۳۱۰-
نام شخص - ( مسئولیت معنوی درجه دوم )
عنصر شناسه اي
عنوان
عنصر شناسه اي
فروست
