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

    Identifiers