Topology via logic - Vickers, Steven (Cambridge university press, 1989)