Herde, GeorgGeorgHerde2019-09-192015-07-131992https://fis.uni-bamberg.de/handle/uniba/25118Bamberg, Univ., Diss.deuPräzisierung dreier axiomatisierter Theorien des Rechnungswesens in einer formalen Typentheoriedoctoralthesis