TOPOLOTY VIA LOGIC - Vickers, Steven (Cambridge Cambridge Univ. Pr., 1989)
Keywords: Topology; Logic, Symbolic And Mathematical