Ein Aufbau der Mengenlehre mit transfiniten Typen, formalisiert im Prädikatenkalkül der ersten Stufe
- 1 January 1957
- journal article
- Published by Wiley in Mathematical Logic Quarterly
- Vol. 3 (21) , 303-316
- https://doi.org/10.1002/malq.19570032102
Abstract
No abstract availableThis publication has 0 references indexed in Scilit: