Topology via logic

Vickers, Steven

Topology via logic - Cambridge university press 1989

cambridge tracts in theoretical computer science

514 / VIC. T