پنجشنبه ۲۷ دی ۱۴۰۳
محمد اردشیر در یازدهمین همایش سالیانه انجمن منطق ایران گفت: منطق پایه یک منطق جایگزین برای منطق شهودگرایانه است ولی درباره ریاضیات منطق پایه در ایران خیلی کم کار شده است.مقاله اصلی
تمام حقوق برای پایگاه خبری حبرچی محفوظ می باشد کپی برداری از مطالب با ذکر منبع بلامانع می باشد.
طراحی توسط ایپک