فیلترها

کل نتایج:

2 مورد

نقاط دسترسی غیر مرجح:
نام (مستندات):

حسینی

نام کوچک:

داود

تاریخ تولد و وفات:

۱۳۶۰

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

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

:
تهران

ناشر

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

تاریخ انتشار

:
‏‫ ‏‫1403

اندازه

:
وزیری (قطع)

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

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

‏‫ ‏‫1403

اندازه:

وزیری (قطع)

قالب:

چاپی

توصیف:

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

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

:
قم

ناشر

:
حکمت اسلامی

اندازه

:
وزيري (قطع)

تاریخ انتشار

:
۱۳۹۸

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

اندازه:

وزيري (قطع)

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

۱۳۹۸

قالب:

چاپی

توصیف:

کتابنامه: ص. [۳۸۵]-‎۳۹۱؛ همچنين به صورت زيرنويس
نمايه

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

مجمع عالي حکمت اسلامي؛ ‎۴۷. فلسفه اسلامي؛ ‎۱۳