About effective versions of game theoretical semantics for first-order logic
From MaRDI portal
Publication:2003259
DOI10.33048/semi.2019.16.040zbMath1432.03045OpenAlexW3015390391MaRDI QIDQ2003259
Publication date: 16 July 2019
Published in: Sibirskie Èlektronnye Matematicheskie Izvestiya (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.33048/semi.2019.16.040
Cites Work
This page was built for publication: About effective versions of game theoretical semantics for first-order logic