A Negationless Interpretation of Intuitionistic Axiomatic Theories: Higher-order Arithmetic (1998)

by Victor N. Krivtsov
Citations:2 - 0 self