تصمیم پذیری بسط های ساختارهای اعداد حقیقی توسط ابزارهای نظریه ی مدلی و علوم رایانه ای SUPERVISOR Mohsen Khani محسن خانی (استاد راهنما) STUDENT Alireza Mohammad salehi علیرضا محمدصالحی FACULTY - DEPARTMENT دانشکده ریاضی DEGREE Bachelor of Science (B.Sc) YEAR 1394 TITLE تصمیم پذیری بسط های ساختارهای اعداد حقیقی توسط ابزارهای نظریه ی مدلی و علوم رایانه ای
