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