کتاب منطق ریاضی و کاربردآن در علوم کامپیوتر مبانی علم کامپیوتر از دیدگاه ریاضی 2 اثر دکتر علی بهفروزدکتر محمد ایزدی کتاب منطق ریاضی و کاربردآن در علوم کامپیوتر مبانی علم کامپیوتر از دیدگاه ریاضی 2 اثر دکتر علی بهفروزدکتر محمد ایزدی در بازار نشر ایران توزیع شده است این کتاب در سال 1394 توسط انتشارات آینده دانش به چاپ رسیده است و ویرایش اول ودر سایت ایده بوک قرار دارد