Intuitionistic General Topology (1966)

by A S Troelstra
Venue:ERIK PALMGREN DEPARTMENT OF MATHEMATICS, UPPSALA UNIVERSITY PO BOX 480, SE-751 06 UPPSALA, SWEDEN E-MAIL: palmgren@math.uu.se URL: www.math.uu.se