Topology via logic

Steven Vickers
Cambridge University Press
9780521360623
0-521-36062-5