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