Anfonwch hwn fel neges destun: Ein System von unabhängigen Axiomen für Halbgruppen mit eindeutigen Halbprimfaktorzerlegungen /