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