عنوان
پدید آورنده
موضوع
رده
BC ۱۳۵ /الف۴پ۴
BC
۱۳۵
/
الف
۴
پ
۴
کتابخانه
محل استقرار
6400006
6400006
۲۳۰۴۹
۸۰۰۸
فارسی
فارسی
نوشته‌ی میرشمس‌الدین ادیب سلطا‌نی
ص. ع. به‌انگلیسیMir Samseddin Adiboltani: An investigation of the decision problem in logic:
تهران
امیرکبیر
۱۳۷۳
xix، ۶۵۲ ص
۱
۱
امیرکبیر؛ ۶ - ۷۳۰۸۵ - ۱
عنوان
خیر
0
0
واژه‌نا‌مه
کتا‌بنا‌مه: ص. ۶۰۳ - ۶۰۸
پژوهشی در پیرامون مسئله‌ی تصمیم در منطق طرح چند خوارزمیک تحلیلی - معنا‌یی
به همراه خلاصه پژوهش به زبا‌ن انگلیسی
منطق ریا‌ضی
گودل، قضیه
BC
۱۳۵
/
الف
۴
پ
۴
ادیب سلطا‌نی، میرشمس‌الدین، ۱۳۱۰ -
1
1
کتاب فارسی
