Topology via Logic (Cambridge Tracts in Theoretical Computer Science)
Topology via Logic (Cambridge Tracts in Theoretical Computer Science)
Steven Vickers
Details
OL Work ID
OL4770643W
Subjects
Topology
Find this book
Hardcover
Open Library