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