مدخل منطق صورت
غلامحسین مصاحب
کتاب مدخل منطق صورت نوشته‌ی غلامحسین مصاحب، یکی از مهم‌ترین و جامع‌ترین منابع به زبان فارسی در حوزه‌ی منطق ریاضی است. این کتاب، که به عنوان یک مرجع کلاسیک در این زمینه شناخته می‌شود، به شیوه‌ای دقیق و منظم، مفاهیم بنیادین منطق ریاضی را تشریح می‌کند و خواننده را با ابزارهای لازم برای تحلیل و استدلال‌های ریاضی آشنا می‌سازد.
مصاحب در نگارش این کتاب، تلاش کرده است تا مفاهیم پیچیده‌ی منطق ریاضی را به زبانی ساده و روان برای خواننده ایرانی بیان کند.وجود مثال‌ها و تمرین‌های متنوع در این کتاب، به درک بهتر مطالب و تثبیت آموخته‌ها کمک شایانی می‌کند.این کتاب، به عنوان یک منبع اصلی برای دانشجویان و پژوهشگران ایرانی در حوزه‌های فلسفه، ریاضیات و علوم کامپیوتر، نقش بسیار مهمی در توسعه‌ی این رشته‌ها در ایران داشته است.دانشجویان فلسفه و منطق: این کتاب، یک منبع ضروری برای دانشجویان فلسفه و منطق است که قصد دارند با مبانی منطق ریاضی آشنا شوند.دانشجویان ریاضی و علوم کامپیوتر نیز می‌توانند از این کتاب برای درک بهتر مبانی نظری ریاضیات استفاده کنند.
کتاب مدخل منطق صورت، طیف گسترده‌ای از مباحث منطق ریاضی را پوشش می‌دهد، از جمله:
- حساب گزاره‌ها
- حساب گزاره‌های مرتبه اول
- نظریه مجموعه‌ها
- منطق مرتبه بالاتر
- و ...
کتاب مدخل منطق صورت، یک اثر ارزشمند و ماندگار در ادبیات فلسفی و ریاضی ایران است. این کتاب، با زبانی ساده و روانی، مفاهیم پیچیده‌ی منطق ریاضی را برای خواننده ایرانی قابل فهم کرده است و به عنوان یک مرجع کلاسیک در این حوزه، همچنان مورد توجه و استفاده‌ی پژوهشگران و دانشجویان قرار دارد.