毛里西奥索里奥;JoséLuis Carbarlido;克劳迪娅·塞佩达 再次访问\(\mathbb Z\)。 (英语) 兹伯利1326.03033 圣母院J.形式逻辑 55,第1期,129-155(2014).MSC公司:03B53号 03B45 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{M.Osorio}等人,《圣母院J.形式逻辑》55,第1期,129--155(2014;Zbl 1326.03033) 全文: 内政部 欧几里得
海因里希·瓦辛 基于语义的非单调推理。 (英语) Zbl 0839.03012号 圣母院J.形式逻辑 36,第1期,第44-54页(1995年). 审核人:D.Makinson(阿夫雷镇) MSC公司:03B60号 PDF格式BibTeX公司 XML格式引用 \textit{H.Wansing},圣母院J.形式逻辑36,No.1,44-54(1995;Zbl 0839.03012) 全文: 内政部