Journal of automated reasoning. 1999;23(3):197-234. doi: 10.1023/a:1006218513245 Q40.72025

On Equivalents of Well-Foundedness

关于良基性的等价形式

DOI: 10.1023/a:1006218513245

摘要 查看摘要

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