Report file quality
English [en], .pdf, 🚀/lgli/lgrs, 6.9MB, 📘 Book (non-fiction), lgrsnf/[Cambridge tracts in theoretical computer science 5] Steven Vickers - Topology via logic (1989, Cambridge University Press) - libgen.li.pdf
Topology via Logic (Cambridge Tracts in Theoretical Computer Science) 🔍
Cambridge University Press (Virtual Publishing), Cambridge tracts in theoretical computer science ;, 5, Cambridge [England], New York, England, 1989
Steven Vickers 🔍
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.
Alternative filename
lgli/[Cambridge tracts in theoretical computer science 5] Steven Vickers - Topology via logic (1989, Cambridge University Press) - libgen.li.pdf
Alternative author
Vickers, Steven
Alternative edition
Cambridge tracts in theoretical computer science, 1st pbk. ed, Cambridge [England, 1996
Alternative edition
Cambridge tracts in theoretical computer science, 5, Cambridge, 1996
Alternative edition
United Kingdom and Ireland, United Kingdom
Alternative edition
First edition (stated), 1989
metadata comments
Bibliography: p. [191]-195.
Includes index.
Alternative description
This is an advanced textbook on topology for computer scientists. It is based on a course given by the author to postgraduate students of computer science at Imperial College.
date open sourced
2024-09-04
Read more…

🚀 Fast downloads

Become a member to support the long-term preservation of books, papers, and more. To show our gratitude for your support, you get fast downloads. ❤️

🐢 Slow downloads

From trusted partners. More information in the FAQ. (might require browser verification — unlimited downloads!)

show external downloads
All download options have the same file, and should be safe to use. That said, always be cautious when downloading files from the internet, especially from sites external to Anna’s Archive. For example, be sure to keep your devices updated.
  • For large files, we recommend using a download manager to prevent interruptions.
    Recommended download managers: JDownloader
  • You will need an ebook or PDF reader to open the file, depending on the file format.
    Recommended ebook readers: Anna’s Archive online viewer, ReadEra, and Calibre
  • Use online tools to convert between formats.
    Recommended conversion tools: CloudConvert
  • You can send both PDF and EPUB files to your Kindle or Kobo eReader.
    Recommended tools: Amazon‘s “Send to Kindle” and djazz‘s “Send to Kobo/Kindle”
  • Support authors and libraries
    ✍️ If you like this and can afford it, consider buying the original, or supporting the authors directly.
    📚 If this is available at your local library, consider borrowing it for free there.