Formalizing Arrow’s theorem

by Freek Wiedijk
Citations:3 - 0 self

Document Versions

Formalizing Arrow’s theorem –Freek Wiedijk