卡图齐·小野 关于描述形式推导的实用方法。 (英语) Zbl 0111.00703号 名古屋数学。J。 21, 115-121 (1962). 页码:24/35−5 −4 −3 −2 −1 ±0 +1个 +2 +3 +4 +5 显示扫描的页面 引用于1审查引用于13文件 关键词:数学逻辑 PDF格式BibTeX公司 XML格式引用 \textit{K.Ono},名古屋数学。J.21115-121(1962年;兹bl 0111.00703) 全文: 内政部 参考文献: [1] 名古屋数学杂志。20 [2] DOI:10.1007/BF01201353·Zbl 0010.14501号 ·doi:10.1007/BF01201353 [3] 汉堡Abhandlungen 22第242页–(1958) 此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。