«منطق گزاره‌ای» عنوان کتابی است که به‌تازگی از سوی دانشگاه علوم اسلامی رضوی منتشر شده است. داود حیدری، عضو هیات علمی این دانشگاه در کتاب خود، خواننده را با منطق گزاره‌ای و روش‌های نمادین آن آشنا می‌کند.

کتاب منطق گزاره‌ای

منبع: ایبنا - آشنایی با منطق گزاره‌ای و روش‌های نمادین آن در یک کتاب