Automated deduction in von Neumann-Bernays-Gödel set theory

• 1 February 1992
• journal article
• Published by Springer Nature in Journal of Automated Reasoning
• Vol. 8  (1) , 91-147
• https://doi.org/10.1007/bf00263451

Abstract

Keywords

• SET THEORY
• HOMOMORPHISMS
• AUTOMATED
• CLAUSES
• NEUMANN
• GÖDEL
• HEURISTICS
• CLAUSAL
• ELEMENTARY