Topology via Logic - pocket, Engelska, 1996