@book{UBHD-1492649, year={1979}, number={ARRAY(0x556e9bf0a920)}, series={International logic review}, library={UB [Signatur: ZST 3917 B::19-22.1979-80]}, }