عنوان
پدید آورنده
موضوع
رده
BC،۱۳۵،/الف۴،پ۴،۱۳۷۳
BC
،۱۳۵،
/
الف
۴،
پ
۴،۱۳۷۳
کتابخانه
محل استقرار
کتاب فارسی
پژوهشی در پیرامون مسئله‌ی تصمیم در منطق طرح چند خوارزمیک تحلیلی - معنا‌یی
نوشته‌ی میرشمس‌الدین ادیب‌سلطا‌نی
تهران
امیرکبیر
۱۳۷۳
xix، ۶۵۲ ص
امیرکبیر؛ ۶ - ۷۳۰۸۵ - ۱
عنوان
واژه‌نا‌مه
کتا‌بنا‌مه: ص. ۶۰۳ - ۶۰۸
به‌همراه خلاصه پژوهش به زبا‌ن انگلیسی
منطق ریا‌ضی
گودل، قضیه
BC
۱۳۵
/
الف
۴،
پ
۴
۱۳۷۳
ادیب‌سلطا‌نی، میرشمس‌الدین، ۱۳۱۰ -
