The GOEDEL program

DOI10.1007/s10817-012-9259-0zbMath1260.68364OpenAlexW2060651629MaRDI QIDQ1945913

Johan Gijsbertus Frederik Belinfante

Publication date: 17 April 2013

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10817-012-9259-0

zbMATH Keywords

cardinalsordinalsclass theoryreificationrewrite ruleswrappers

Mathematics Subject Classification ID

Cites Work

• Computer proofs in Gödel's class theory with equational definitions for composite and cross
• On computer-assisted proofs in ordinal number theory
• A Definition of Ordinal Numbers
• On a Definition of Ordinal Numbers
• A system of axiomatic set theory—Part I
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The GOEDEL program