Arrow's Impossibility Theorem
Freek Wiedijk · Formalized Mathematics · 2007
Sciendo provides publishing services and solutions to academic and professional organizations and individual authors. We publish journals, books, conference proceedings and a variety of other publications.