Journal of automated reasoning. 1986;2(3):287-327. doi: 10.1007/bf02328452 Q40.72025

Set theory in first-order logic: Clauses for Gödel's axioms

一阶逻辑中的集合论：哥德尔公理的命题式表述

DOI: 10.1007/bf02328452

摘要 查看摘要

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