Topology via Logic (Cambridge Tracts in Theoretical Computer Science)by Steven VickersTopologyWriting a summary for young readers…For young readersBook data: Open Library