×

完整性、不变性和lambda可定义性。 (英语) Zbl 0487.03006号


MSC公司:

03B40型 组合逻辑与lambda演算
03B25号 理论和句子集的可决定性
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] {\(\lambda\)}-可定义性和逻辑关系(1973)
[2] 计算机科学课堂讲稿37 pp 213–(1975)
[3] 数学讲义453第22页–(1975)
[4] 组合逻辑1(1968)·Zbl 0175.27601号
[5] 内政部:10.1016/0304-3975(79)90007-0·Zbl 0411.03050号 ·doi:10.1016/0304-3975(79)90007-0
[6] 自然扣除(1965年)
[7] 内政部:10.1016/0304-3975(76)90021-9·Zbl 0361.02020号 ·doi:10.1016/0304-3975(76)90021-9
[8] 数学课堂笔记344 pp 123–(1973)
[9] 数学逻辑手册第1091页–(1977)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。