10481

تهران

دانشگاه صنعتي شريف ، دانشكده علوم رياضي

1375

0

منطق محمولات پايه يك زيرمنطق منطق شهودگروي است در اين مقاله ثابت شده است كه منطق محمولات پايه با دامنه ثابت و بايك محمول يك موضعي تصميم ناپذير است