درباره ریاضیات منطق پایه در ایران خیلی کم کار شده است

محمد اردشیر در یازدهمین همایش سالیانه انجمن منطق ایران گفت: منطق پایه یک منطق جایگزین برای منطق شهودگرایانه است ولی درباره ریاضیات منطق پایه در ایران خیلی کم کار شده است.مقاله اصلی

دیدگاهتان را بنویسید

نشانی ایمیل شما منتشر نخواهد شد. بخش‌های موردنیاز علامت‌گذاری شده‌اند *