A formalization of the theory of ordinal numbers (Q5525369)
From MaRDI portal
scientific article; zbMATH DE number 3237862
Language | Label | Description | Also known as |
---|---|---|---|
English | A formalization of the theory of ordinal numbers |
scientific article; zbMATH DE number 3237862 |
Statements
A formalization of the theory of ordinal numbers (English)
0 references
1965
0 references
set theory
0 references