THE GAME METHOD

A Jarden

פרסום מחקרי: פרסום בכתב עתמאמרביקורת עמיתים

תקציר

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

טביעת אצבע

להלן מוצגים תחומי המחקר של הפרסום 'THE GAME METHOD'. יחד הם יוצרים טביעת אצבע ייחודית.

פורמט ציטוט ביבליוגרפי