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