Journal of automated reasoning. 1991;7(2):271-284. doi: 10.1007/bf00243810 Q40.72025

Decision procedures for elementary sublanguages of set theory: XIII. Model graphs, reflection and decidability

集合论初等子语言的判定程序：第十三部分——模型图、反射与可判定性

DOI: 10.1007/bf00243810

摘要 查看摘要

Copyright © . 中文内容为AI机器翻译，仅供参考！