克劳迪奥·贝尔纳迪;安德烈·索比 正等价关系的分类。 （英语） Zbl 0528.03030号 J.塞姆。日志。 第48页，529-538页（1983年）。 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于1审查引用于41文件 MSC公司： 03D45号 计算理论，有效呈现结构 03D25号 递归（可计算）可枚举集和度 30楼03号 一阶算法和片段 关键词：预完备性;可证明等价;数字;等价关系;巴基斯坦 PDF格式BibTeX公司 XML格式引用 \textit{C.Bernardi}和\textit{A.Sorbi}，J.Symb。日志。48、529--538（1983年；Zbl 0528.03030） 全文： 内政部 参考文献： [1] DOI:10.1002/malq.19750210164·doi:10.1002/malq.19750210164 [2] DOI:10.1002/malq.19730191901·Zbl 0295.02025号 ·doi:10.1002/malq.19730191901 [3] DOI:10.1002/malq.19610071108·Zbl 0102.00803号 ·doi:10.1002/malq.19610071108 [4] 内政部：10.1007/BF01837553·Zbl 0468.03020号 ·doi:10.1007/BF01837553 [5] 致H.B.Curry：关于组合逻辑、lambda微积分和形式主义的论文第259页–（1980） [6] 代数与逻辑10 pp 378–（1973） [7] 意大利Matematica大学。博莱蒂诺。B 1–B第403页–（1982年） [8] 递归函数和有效可计算性理论（1967）·Zbl 0183.01401号 [9] 内政部：10.1007/BF01976264·Zbl 0242.02046号 ·doi:10.1007/BF01976264 [10] DOI:10.1002/malq.19550010205·Zbl 0065.00105号 ·doi:10.1002/malq.19550010205 [11] 《数学研究年鉴》（1961） 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。