ملخص
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 |