Ein Aufbau der Mengenlehre mit transfiniten Typen, formalisiert im Prädikatenkalkül der ersten Stufe (Q3247215): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Added link to MaRDI item.
links / mardi / namelinks / mardi / name
 

Revision as of 22:03, 3 February 2024

scientific article
Language Label Description Also known as
English
Ein Aufbau der Mengenlehre mit transfiniten Typen, formalisiert im Prädikatenkalkül der ersten Stufe
scientific article

    Statements

    Ein Aufbau der Mengenlehre mit transfiniten Typen, formalisiert im Prädikatenkalkül der ersten Stufe (English)
    0 references
    0 references
    1957
    0 references
    Set Theory
    0 references

    Identifiers