کتابخانه آیت الله العظمی بروجردی(ره)
فیلترها

کل نتایج:

1 مورد

اثبات
نقاط دسترسی مستند:
حقیقت برهان (منطق) صدق و کذب (منطق)
نام (مستندات):

اثبات

نظریه برهان: حساب رشته: چارچوبی برای معنا و منطق

پدیدآورنده:

حسینی، داود، 1360-

زبان اثر:

فارسی

درباره (موضوع):

برهان (منطق) ؛ منطق ریاضی
نمود / نمونه‌های شی / اثر
نظریه برهان: حساب رشته: چارچوبی برای معنا و منطق
کتاب

محل تولید محتوا (نشر)

:
تهران

ناشر

:
سازمان مطالعه و تدوین کتب دانشگاهی در علوم اسلامی و انسانی (سمت)، پژوهشکده تحقیق و توسعه علوم انسانی

تاریخ انتشار

:
‏‫ ‏‫1403

اندازه

:
وزیری (قطع)
نظریه برهان: حساب رشته: چارچوبی برای معنا و منطق

محل تولید محتوا (نشر):

تهران

ناشر:

سازمان مطالعه و تدوین کتب دانشگاهی در علوم اسلامی و انسانی (سمت)، پژوهشکده تحقیق و توسعه علوم انسانی

تاریخ انتشار:

‏‫ ‏‫1403

اندازه:

وزیری (قطع)

قالب:

چاپی

توصیف:

‫پشت جلد به انگلیسی: Davood Hosseini. Proof theory sequent calculus: A framework for meaning and logic.‎‬ (يادداشت عنوان و پديدآور)
واژه‌نامه (يادداشت واژه نامه، کتابنامه و نمايه هاي داخل اثر)
‏‫کتابنامه: ص. [361] - 366.‬ (يادداشت واژه نامه، کتابنامه و نمايه هاي داخل اثر)
نمایه (يادداشت واژه نامه، کتابنامه و نمايه هاي داخل اثر)

جایگاه (فروست):

سازمان مطالعه و تدوین کتب دانشگاهی در علوم اسلامی و انسانی (سمت)، پژوهشکده تحقیق و توسعه علوم انسانی
؛ 2611.
فلسفه و کلام
؛ 122.
کتابخانه آیت الله العظمی بروجردی(ره)

آدرس:قم، ضلع غربی حرم مطهر

پیوندها‌

کتابخانه ها‌

وبسایت

کاربر

ما را در رسانه ها دنبال کنید