Login / Signup
A short proof of Harsanyi's purification theorem.
Srihari Govindan
Philip J. Reny
Arthur J. Robson
Published in:
Games Econ. Behav. (2003)
Keyphrases
</>
interactive theorem proving
theorem prover
von neumann
information systems
theorem proving
proof planning