Extending and Automating Basic Probability Theory with Propositional Computability Logic

Open in new window