J.Richard，Büchi;德克·西夫克斯 所有可数序数的一元二阶理论。 （英语） Zbl 0298.02050 数学讲义. 328. 可判定理论2。柏林-海德堡-纽约：斯普林格-弗拉格。六、 217 p.20.00德国马克；$7.40 (1973). 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于1审查引用于34文件 MSC公司： 03B25号 理论和句子集的可决定性 03B15号机组 高阶逻辑；类型理论（MSC2010） 03-02 与数理逻辑和基础有关的研究论述（专著、调查文章） 05年3月 与逻辑问题相关的自动机和形式文法 PDF格式BibTeX公司 XML格式 全文： DOI程序