Journal of Logic and Computation. 2013;23(3):473-485. doi: 10.1093/logcom/exs037 Q40.72025

Compactness in first-order Godel logics

一阶哥德尔逻辑的紧致性

DOI: 10.1093/logcom/exs037

摘要 查看摘要

Copyright © Journal of Logic and Computation. 中文内容为AI机器翻译，仅供参考！