Topology via logic, volume 5 of Cambridge Tracts (1989)

by Steven Vickers
Venue:in Theoretical Computer Science