Intuitionistic General Topology (1966)

by A S Troelstra