wird geladen
Formale Logik für Mehrheitsentscheidungen: Repräsentationstheorem bewiesen · Lumeric