Topology via Logic (Cambridge Tracts in Theoretical Computer Science, Series Number 5) by Steven Vickers (PDF)

Description

This advanced textbook on topology has three unusual features. First, the introduction is from the locale viewpoint, motivated by the logic of finite observations: this provides a more direct approach than the traditional one based on abstracting properties of open sets in the real line. Second, the author freely exploits the methods of locale theory. Third, there is substantial discussion of some computer science applications. As computer scientists become more aware of the mathematical foundations of their discipline, it is appropriate that such topics are presented in a form of direct relevance and applicability. This book goes some way towards bridging the gap for computer scientists.

User’s Reviews

Editorial Reviews: Book Description This is an advanced textbook on topology for computer scientists.

Reviews from Amazon users which were colected at the time this book was published on the website:

⭐The book Topology via Logic (Cambridge Tracts in Theoretical Computer Science) by Steven Vickers is the only book that I found a nice bridge between the abstract Topological theory and the general life reasoning. This not only a wonderful book for a Computer Scientists it is also a great book for Set Theoretic Topologists and Logicians who are always dealing with modelling natural language/incomplete knowledge etc. I found it is the best book to helping my research in incomplete information system with the the abstract Topological Theories.

Keywords

Free Download Topology via Logic (Cambridge Tracts in Theoretical Computer Science, Series Number 5) in PDF format
Topology via Logic (Cambridge Tracts in Theoretical Computer Science, Series Number 5) PDF Free Download
Download Topology via Logic (Cambridge Tracts in Theoretical Computer Science, Series Number 5) 1996 PDF Free
Topology via Logic (Cambridge Tracts in Theoretical Computer Science, Series Number 5) 1996 PDF Free Download
Download Topology via Logic (Cambridge Tracts in Theoretical Computer Science, Series Number 5) PDF
Free Download Ebook Topology via Logic (Cambridge Tracts in Theoretical Computer Science, Series Number 5)