MoL-2018-29: Jana Haenen A Gödel-style translation from positive calculus into strict implication logic 1.Full Text, 2.Abstract. < Back
