Kließ,马尔特;杰夫,巴黎 纯归纳逻辑中谓词的可交换性和语言不变性。 (英语) Zbl 1521.03047号 日志。分析。,努夫。Sér。 57、第228、513-540号(2014).MSC公司:03B48号 PDF格式BibTeX公司 XML格式引用 \textit{M.Kließ}和\textit{J.Paris},Log。分析。,努夫。Sér。57、第228、513--540号(2014;Zbl 1521.03047) 全文: 内政部 arXiv公司
Kließ,医学硕士。;巴黎,J.B。 二阶归纳逻辑和威尔默斯原理。 (英语) Zbl 1395.03013号 J.应用。日志。 第462-476号第12页(2014年).MSC公司:03B48号 03B15号机组 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{M.S.Kließ}和\textit{J.B.Paris},J.Appl。日志。12,第4号,462--476(2014;Zbl 1395.03013) 全文: 内政部