@book{UBHD-1264183, year={1957}, number={ARRAY(0x556ff9d3f600)}, series={Studies in logic and the foundations of mathematics}, library={UB [Signatur: L 96-137-5::15]}, }