بسط‌هایی از ساختارهای ت-کمینه ضعیف غیرارزیابی منطق محمولات منطق جدید منطق کلاسیک منطق محمولها نظریه ارزه کمینه‌سازی درجه تعالی چندجمله‌ای کراندار Persian دان‍ش‍گ‍اه‌ ت‍ب‍ری‍ز 1389 text رضائی , اکرم (دانشجوی دکتری گروه عرفان اسلامی، واحد اهواز، دانشگاه آزاد اسلامی، اهواز، ایران.) عیوضلو , جعفرصادق موسوی, حمید Thesis