@book{UBHD-1715395, year={1987}, number={ARRAY(0x5576c77c1478)}, series={Synthese}, library={UB [Signatur: ZSA 3272 B::71.1987]}, }