תקציר
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 |
| מזהי עצם דיגיטלי (DOIs) | |
| סטטוס פרסום | פורסם - 2020 |