ML-1998-06: Victor N. Krivtsov A Negationless Interpretation of Intuitionistic Axiomatic Theories: Arithmetic and Analysis 1.Full Text, 2.Abstract. < Back
