MoL-2023-17: Borja Sierra Miranda On the Provability Logic of Constructive Arithmetic: The Σ_1-provability logics of fragments of Heyting Arithmetic 1.Full Text, 2.Abstract. < Back
