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

Journal article

Peer reviewed

Robert Boyer, Ewing Lusk, William McCune, Ross Overbeek, Mark Stickel and Lawrence Wos

Journal of automated reasoning, v 2(3), pp 287-327

Sep 1986

Additional Links

11 Record Views

53 citations in Scopus

Title: Set theory in first-order logic: Clauses for Gödel's axioms
Creators: Robert Boyer - Microelectronics and Computer Technology Corporation, Austin, TX
Ewing Lusk - Argonne National Laboratory
William McCune - Argonne National Laboratory
Ross Overbeek - Argonne National Laboratory
Mark Stickel - SRI International
Lawrence Wos
Publication Details: Journal of automated reasoning, v 2(3), pp 287-327
Publisher: Springer Nature
Resource Type: Journal article
Language: English
Academic Unit: [Retired Faculty]; Mathematics
Scopus ID: 2-s2.0-0022783995
Other Identifier: 991020638515104721