Pages that link to "Item:Q3247215"
From MaRDI portal
The following pages link to Ein Aufbau der Mengenlehre mit transfiniten Typen, formalisiert im Prädikatenkalkül der ersten Stufe (Q3247215):
Displayed 2 items.
The following pages link to Ein Aufbau der Mengenlehre mit transfiniten Typen, formalisiert im Prädikatenkalkül der ersten Stufe (Q3247215):
Displayed 2 items.