Da Costa，Newton C.A.（牛顿·C.A.）。；Elias H.阿尔维斯。 计算（C_n）的语义分析。 （英语） Zbl 0349.02022号 圣母院J.形式逻辑 18, 621-630 (1977). 页码：24/35−5 −4 −3 −2 −1 ±0 +1个 +2 +3个 +4 +5 显示扫描页面 引用于2评论引用于37文件 MSC公司： 03B99号 一般逻辑 03B25号 理论和句子集的可决定性 PDF格式BibTeX公司 XML格式引用 \textit{N.C.A.Da Costa}和\textit{E.H.Alves}，圣母院J.形式逻辑18，621--630（1977；Zbl 0349.02022） 全文： 内政部