@收款{zbMATH05275836，作者={Baaz、Matthias和Ciabattoni、Agata和Ferm{“u}ller、Christian G.}，标题={{G{\“o}del}逻辑的一元片段：{可判定}和不可判定结果}，BookTitle={编程、人工智能和推理逻辑。第14届国际会议，LPAR 2007，亚美尼亚埃里温，2007年10月15日至19日。诉讼}，国际标准图书编号={978-3-540-75558-6}，Pages＝{77-91}，年份={2007}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/978-3-540-75560-9_8}，关键词＝{03B50,03B25}，zbMATH={5275836}，Zbl={1138.03025}}