نظریه برهان: حساب رشته: چارچوبی برای معنا و منطق/ داود حسینی؛ ویراستار مریم ربانی.
| عنوان | نظریه برهان: حساب رشته: چارچوبی برای معنا و منطق/ داود حسینی؛ ویراستار مریم ربانی. |
|---|---|
| نویسنده | حسینی، داود، ۱۳۶۰-Hoseini , Davood |
| تاریخ انتشار: | ۱۴۰۳ |
| محل انتشار | تهران - سازمان مطالعه و تدوین کتب دانشگاهی در علوم اسلامی و انسانی (سمت)، پژوهشکده تحقیق و توسعه علوم انسانی، ۱۴۰۳. |
| موضوع | برهان (منطق)*Deduction (Logic)منطق ریاضیLogic, Symbolic and mathematical |
| نوع | kitap |
| زبان | نامشخص |
| دیجیتال | خیر |
| نسخه خطی | خیر |
| تعداد صفحات | 375 |
| کتابخانه: | کتابخانه ملی ایران |
| شناسه دارایی کتابخانه | ۹۷۳۳۲۳۹ |
| شماره ثبت | 9733239 |
| یادداشتها | پشت جلد به انگلیسی: Davood Hosseini. Proof theory sequent calculus a framework for meaning and logic. |
