@book{UBHD-1445348, year={1973}, number={ARRAY(0x555b515b3780)}, series={International logic review}, library={UB [Signatur: ZST 3917 B::8.1973]}, }