Accès libre

Arrow's Impossibility Theorem

Freek Wiedijk
Freek Wiedijk
   | 09 juin 2008
Formalized Mathematics's Cover Image
À propos de cet article
Article précédent
Article suivant
Citez
Publié en ligne: 09 juin 2008
Pages: 171 - 174
DOI: https://doi.org/10.2478/v10037-007-0020-9
This content is open access.

A formalization of the first proof from [6].

eISSN:
1898-9934
ISSN:
1426-2630
Langue:
Anglais
Périodicité:
4 fois par an
Sujets de la revue:
Computer Sciences, other, Mathematics, General Mathematics
RSS Feed de la revue