درآمد به منطق

منطق جدید در ایران قبل از سال ۱۳۵۸ه.ش:

تا آنجا که برگرداننده می‌داند:

▪  کتاب "مدخل منطق صورت"، ۱۳۳۴ه.ش تالیف شادروان دکتر مصاحب؛
▪  جبر گزاره‌ها (ریاضیات جدید-سال اول نظری -آموزش پرورش)؛
▪  جبر بول (ریاضیات جدید-سال سوم ریاضی فیزیک-آموزش پرورش)؛
▪  مقدمات تسویر (ریاضیات جدید-سال آخر دبیرستان/ریاضی فیزیک -آموزش پرورش)؛
▪ ترجمه قسمت عمده کتاب "مقدمه به منطق ریاضی" تالیف الیوت مندلسون/چاپ ۱۹۷۳م (از متون اساسی منطق ریاضی-آخرین چاپ ۲۰۰۹م) توسط آقای دکتر صاحب جهرمی و ارائه آن بصورت جزوه برای تدریس دروس منطق ریاضی و نظریه الگوریتم در سالهای ۱۳۵۳ تا ۱۳۵۷. در اینجا میتوانید صفحاتی از این جزوه را مشاهده نمایید.