Präzisierung dreier axiomatisierter Theorien des Rechnungswesens in einer formalen Typentheorie / vorgelegt von Georg Herde
Saved in:
| VerfasserIn: | |
|---|---|
| Place / Publishing House: | 1992 |
| Year of Publication: | 1992 |
| Language: | German |
| Subjects: | |
| Physical Description: | V, 135 S.; graph. Darst.; 21 cm |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| ac_no: | AC01025178 |
|---|---|
| Hierarchical level: | Monograph |
| Statement of Responsibility: | vorgelegt von Georg Herde |