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