Login / Signup
Repairing proofs of Arrow's general impossibility theorem and enlarging the scope of the theorem.
Richard Routley
Published in:
Notre Dame J. Formal Log. (1979)
Keyphrases
</>
interactive theorem proving
special case
data sets
databases
closely related
von neumann
real world
data structure