Computer-aided proofs of Arrow's and oth
✍
Pingzhong Tang; Fangzhen Lin
📂
Article
📅
2009
🏛
Elsevier Science
🌐
English
⚖ 234 KB