About effective versions of game theoretical semantics for first-order logic

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Siberian electronic mathematical reports 2019-05, Vol.16, p.618-637
1. Verfasser:	Shevchenko, I. Yu
Format:	Artikel
Sprache:	rus
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!