ملخص
The game method is a non-standard method for computing the truth value of a given sentence in a given structure. This method is applicable on sentences of prenex form. We remark that every sentence can be presented in a prenex form.
اللغة الأصلية | الإنجليزيّة |
---|---|
الصفحات (من إلى) | 263-266 |
عدد الصفحات | 4 |
دورية | Advances and Applications in Discrete Mathematics |
مستوى الصوت | 25 |
رقم الإصدار | 2 |
المعرِّفات الرقمية للأشياء | |
حالة النشر | نُشِر - 2020 |