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