Abstract
A formalization of the first proof from[6]. © 2007 University of Bialystok.
Cite
CITATION STYLE
APA
Wiedijk, F. (2007). Arrow’s impossibility theorem. Formalized Mathematics, 15(4), 171–174. https://doi.org/10.2478/v10037-007-0020-9
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
Already have an account? Sign in
Sign up for free