Topology via logic - Vickers, Steven (Cambridge tracts in theoretical computer science, 1990)