×

关于描述形式推导的实用方法。 (英语) Zbl 0111.00703号


关键词:

数学逻辑
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] 名古屋数学杂志。20
[2] DOI:10.1007/BF01201353·Zbl 0010.14501号 ·doi:10.1007/BF01201353
[3] 汉堡Abhandlungen 22第242页–(1958)
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。