Formalizing Arrow’s theorem (2009)

by F Wiedijk
Venue:In: Sādhanā 34.1