Extending the Topological Interpretation to Intuitionistic Analysis II (1970)

by D Scott