نظریه برهان: حساب رشته: چارچوبی برای معنا و منطق/ داود حسینی؛ ویراستار مریم ربانی.
| Title | نظریه برهان: حساب رشته: چارچوبی برای معنا و منطق/ داود حسینی؛ ویراستار مریم ربانی. |
|---|---|
| Author | حسینی، داود، ۱۳۶۰-Hoseini , Davood |
| Publication Date: | ۱۴۰۳ |
| Publication Place | تهران - سازمان مطالعه و تدوین کتب دانشگاهی در علوم اسلامی و انسانی (سمت)، پژوهشکده تحقیق و توسعه علوم انسانی، ۱۴۰۳. |
| Subject | برهان (منطق)*Deduction (Logic)منطق ریاضیLogic, Symbolic and mathematical |
| Type | kitap |
| Language | Undetermined |
| Digital | No |
| Manuscript | No |
| Pages Count | 375 |
| Library: | National Library of Iran |
| Library Asset ID | ۹۷۳۳۲۳۹ |
| Record ID | 9733239 |
| Notes | پشت جلد به انگلیسی: Davood Hosseini. Proof theory sequent calculus a framework for meaning and logic. |