بررسی واستخراج قواعد منطقی در اثباتهای دروس پایه در ریاضیات SUPERVISOR Mojtaba Aghaei مجتبی آقائی فروشانی (استاد راهنما) STUDENT Hasan Aghabeiki Arani حسن آقابیکی آرانی FACULTY - DEPARTMENT دانشکده ریاضی DEGREE Bachelor of Science (B.Sc) YEAR 1381 TITLE بررسی واستخراج قواعد منطقی در اثباتهای دروس پایه در ریاضیات
