Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Software
Reference9 articles.
1. Belinfante, J.G.F.: Computer proofs in Gödel’s class theory with equational definitions for composite and cross. J. Autom. Reason. 22, 311–339 (1999)
2. Belinfante, J.G.F.: On computer-assisted proofs in ordinal number theory. J. Autom. Reason. 22, 341–378 (1999)
3. Bernays, P.: A system of axiomatic set theory. J. Symb. Logic 2, 65–67 (1937)
4. Gödel, K.: The Consistency of the Axiom of Choice and of the Generalized Continuum Hypothesis with the Axioms of Set Theory. Princeton University Press, Princeton (1940)
5. Isbell, J.R.: A definition of ordinal numbers. Am. Math. Mon. 67, 51–52 (1960)