MoL-2020-12: Martin Karlsson Proofs and Strategies: A Characterization of Classical and Intuitionistic Logic using Games with Explicit Strategies 1.Full Text, 2.Abstract. < Back
