A Pavlova, T Lang, R. Freiman:
"From Semantic Games to Provability: The Case of Gödel Logic";
Studia Logica, 110 (2021), S. 429 - 456.
http://dx.doi.org/10.1007/s11225-021-09966-xElektronische Version der Publikation:
https://publik.tuwien.ac.at/files/publik_299328.pdf