📚نظریۀ برهان: حساب ‌رشته: چارچوبی برای معنا و منطق📚 🔽 نظریۀ برهان شاخه‌ای است از منطق که، نظیر خود منطق، محل تلاقی فلسفه و ریاضیات است. کتاب روایتی است از اینکه چگونه نگاه نظریه‌برهانی به طبیعت منطق، به مثابۀ یک فلسفۀ منطق، می‌تواند معنایی برای مطالعۀ ریاضیاتی منطق‌های گوناگون فراهم کند و به عکس، چگونه مطالعه ریاضیاتی منطق‌های گوناگون می‌تواند نگاه نظریه‌برهانی به طبیعت منطق را محقق کند. چارچوب این روایت را حساب‌ رشته تشکیل می‌دهد. از این روست که نام کتاب چنین است: نظریۀ برهان؛ حساب ‌رشته: چارچوبی برای معنا و منطق. 📍کتاب حاضر به عنوان منبع مبنایی برای دانشجویان رشته منطق و برخی گرایش‌های رشته علوم کامپیوتر در مقطع کارشناسی ارشد و دکتری تدوین شده است. امید است علاوه بر جامعه دانشگاهی، سایر علاقه‌مندان نیز از آن بهره‌مند شوند. 💳قیمت: ۲,۶۹۰,۰۰۰ ریال 🍃 🌐سایت سمت: www.samt.ac.ir 🛍خرید از: samt.ac.ir/fa/book/6298 روابط عمومی «سمت»