@第{zbMATH06585181条，作者={Wintein，Stefan}，标题={从闭包游戏到强{Kleene}真理}，FJournal={圣母院形式逻辑杂志}，Journal={圣母院J.形式逻辑}，ISSN={0029-4527}，体积={57}，数字={2}，页码={153--179}，年份={2016年}，语言={英语}，DOI={10.1215/00294527-3346590}，关键词={03B50,03A05,91A80}，zbMATH={6585181}，Zbl={1384.03117}}