Negation and separation of concepts in constructive systems (1959)

by D Nelson
Venue:Constructivity in Mathematics, Proceedings of the Colloquium held in Amsterdam, NL, 1957, Studies in Logic and the Foundations of Mathematics