Logic and social Choice · Study