Unabhängigkeitsbeweise in Mengenlehre und Stufenlogik der Modelle. (Independence proofs in set theory and type logic of models) (Q2547552)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Unabhängigkeitsbeweise in Mengenlehre und Stufenlogik der Modelle. (Independence proofs in set theory and type logic of models)
scientific article

    Statements

    Unabhängigkeitsbeweise in Mengenlehre und Stufenlogik der Modelle. (Independence proofs in set theory and type logic of models) (English)
    0 references
    1961
    0 references
    0 references