شماره ركورد

164161

پديد آور

حسيني، داود

تولد/وفات

1360-

عنوان

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

شرح پديد آور

داود حسيني

ويرايشگر

ويراستار مريم رباني

سال نشر

1403

مشخصات ظاهري

هشت، 375 ص.

فروست

سازمان مطالعه و تدوين كتب دانشگاهي در علوم اسلامي و انساني (سمت)، پژوهشكده تحقيق و توسعه علوم انساني ؛ 2611 ؛ 122. , فلسفه و كلام ؛ 2611 ؛ 122.

عناوين ديگر

حساب رشته: چارچوبي براي معنا و منطق. , پشت جلد به انگليسي: Davood Hosseini. Proof theory sequent calculus a framework for meaning an‎d logic.

كتابنامه

كتابنامه: ص. [361] - 366.

موضوع

برهان (منطق) , *Deduction (Logic) , منطق رياضي , Logic, Symbolic an‎d mathematical

شناسه هاي افزوده

حساب رشته: چارچوبي براي معنا و منطق. , ت سازمان مطالعه و تدوين كتب دانشگاهي در علوم اسلامي و انساني (سمت) . پژوهشكده تحقيق و توسعه علوم انساني

ردة اصلي

121

رده فرعي

/65

شمارة كاتر

ح577ن

شابك

978-600-02-3964-0