Book

Topology via Logic (Cambridge Tracts in Theoretical Computer Science)

by Steven Vickers