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