Otwarty dostęp

Arrow's Impossibility Theorem

Freek Wiedijk
Freek Wiedijk
   | 09 cze 2008
Formalized Mathematics's Cover Image
O artykule
Poprzedni artykuł
Następny artykuł
Zacytuj
Data publikacji: 09 cze 2008
Zakres stron: 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
Język:
Angielski
Częstotliwość wydawania:
4 razy w roku
Dziedziny czasopisma:
Computer Sciences, other, Mathematics, General Mathematics
Kanał RSS czasopisma