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