Arrow's Impossibility Theorem

被引:14
|
作者
Wiedijk, Freek [1 ]
机构
[1] Radboud Univ Nijmegen, Inst Comp & Informat Sci, Toernooiveld 1, NL-6525 Nijmegen, Netherlands
来源
FORMALIZED MATHEMATICS | 2007年 / 15卷 / 04期
关键词
D O I
10.2478/v10037-007-0020-9
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
A formalization of the first proof from [6].
引用
收藏
页码:171 / 174
页数:4
相关论文
共 50 条