@book{UBHD-1491133, year={1982}, number={ARRAY(0x55d13d877da0)}, series={Synthese}, library={UB [Signatur: ZSA 3272 B::51.1982]}, }