静仁幕内 递归概念的归纳推理。 (英语) Zbl 0943.68141号 数学。日本。 51,第1期,137-144(2000).MSC公司:68T05型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Mukouchi},数学。日本。51,第1号,137--144(2000;Zbl 0943.68141)
静仁幕内 具有受限目标类的可拒绝推理。 (英语) Zbl 0942.68112号 数学。日本。 49,第3期,363-372(1999).MSC公司:68T05型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Mukouchi},数学。日本。49,第363-372号(1999年;兹bl 0942.68112)