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

• 作者Robert Boyer; Ewing Lusk; William McCune; Ross Overbeek; Mark Stickel; Lawrence Wos
• 卷第2卷
• 期第3期
• 印刷ISSN0168-7433
• 电子ISSN1573-0670
• 文件大小1986.42KB
• 发表时间1986-09
• DOI10.1007/bf02328452
• 页码287-327