@book{UBHD-1445350, year={1972}, number={ARRAY(0x5568ed9e6a78)}, series={International logic review}, library={UB [Signatur: ZST 3917 B::6.1972]}, }