Acceso abierto

Arrow's Impossibility Theorem

Freek Wiedijk
Freek Wiedijk
   | 09 jun 2008
Formalized Mathematics's Cover Image
Acerca de este artículo
Artículo anterior
Artículo siguiente
Cite
Publicado en línea: 09 jun 2008
Páginas: 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
Idioma:
Inglés
Calendario de la edición:
4 veces al año
Temas de la revista:
Computer Sciences, other, Mathematics, General Mathematics
RSS Feed de revista