带序数和初等理解的二阶理论

格哈德·耶格尔,托马斯·斯特拉姆.带序数和初等理解的二阶理论.架构(architecture)。数学。日志。, 34(6):345-375,1995 [美国国防部]

摘要

缺少摘要。