فرموله سازی فیبراسیونی منطق محمولی انتوئیسونیستی ؟ تمامیت متناظر با قضایای گودل ، کریپکه و لوشلی SUPERVISOR Mahmoud Binaye motlagh محمود بینای مطلق (استاد راهنما) STUDENT محمدرضا رئوفی FACULTY - DEPARTMENT دانشکده ریاضی DEGREE Master of Science (MSc) YEAR 1374 TITLE فرموله سازی فیبراسیونی منطق محمولی انتوئیسونیستی ؟ تمامیت متناظر با قضایای گودل ، کریپکه و لوشلی
