Programming Books C Java PHP Python Learn more Browse Programming Books
  • List Price: $59.99
  • Save: $10.37 (17%)
In Stock.
Ships from and sold by
Gift-wrap available.
Topology via Logic (Cambr... has been added to your Cart
Condition: Used: Very Good
Comment: Gently used * Item already inside Amazon's warehouse, ships fast * Customer support including tracking through Your Account on * Satisfaction guaranteed
Access codes and supplements are not guaranteed with used items.
Sell yours for a Gift Card
We'll buy it for $2.06
Learn More
Trade in now
Have one to sell? Sell on Amazon
Flip to back Flip to front
Listen Playing... Paused   You're listening to a sample of the Audible audio edition.
Learn more
See this image

Topology via Logic (Cambridge Tracts in Theoretical Computer Science) Paperback – September 13, 1996

ISBN-13: 978-0521576512 ISBN-10: 0521576512

Buy New
Price: $49.62
21 New from $39.95 19 Used from $39.81
Amazon Price New from Used from
"Please retry"
$39.95 $39.81

Hero Quick Promo
Save up to 90% on Textbooks
Rent textbooks, buy textbooks, or get up to 80% back when you sell us your books. Shop Now

Shop the new
New! Introducing the, a hub for Software Developers and Architects, Networking Administrators, TPMs, and other technology professionals to find highly-rated and highly-relevant career resources. Shop books on programming and big data, or read this week's blog posts by authors and thought-leaders in the tech industry. > Shop now

Product Details

  • Series: Cambridge Tracts in Theoretical Computer Science (Book 5)
  • Paperback: 220 pages
  • Publisher: Cambridge University Press (September 13, 1996)
  • Language: English
  • ISBN-10: 0521576512
  • ISBN-13: 978-0521576512
  • Product Dimensions: 6.8 x 0.5 x 9.7 inches
  • Shipping Weight: 1 pounds (View shipping rates and policies)
  • Average Customer Review: 5.0 out of 5 stars  See all reviews (2 customer reviews)
  • Amazon Best Sellers Rank: #1,967,082 in Books (See Top 100 in Books)

Editorial Reviews

Book 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.

Customer Reviews

5.0 out of 5 stars
5 star
4 star
3 star
2 star
1 star
See both customer reviews
Share your thoughts with other customers

Most Helpful Customer Reviews

18 of 19 people found the following review helpful By A Customer on August 11, 1998
Format: Paperback
This is a very accessible account relating the theory of locales to classical point set topology, with remarks along the way about the relation between the two theories in terms of category theory.
Locales are lattices, which also have all joins of arbitrary subsets, just as topologies also have finite intersections of open sets and arbitrary unions; finite meets also distribute over arbitrary joins.
In locale theory, you can do topology without using points (the art of "pointless thinking", as Johnstone likes to call it), although you can also introduce points in locales by definition.
Locales, in other words, are complete lattices, and their elements can be identified with open sets. In the other direction, "points" in locales (which can be identified with principal prime ideals) correspond to the points in a corresponding topological space.
The book is a nice introduction to Johnstone's now classic *Stone Spaces*. But the "logic&qu! ot; as in *Topology via Logic*-- refers to "logic" in the sense of computer science. Readers at home with symbolic logic may therefore find the examples, all based on "data streams" of bits, a bit strange, and may want to translate them into more familiar terms. But the reward is worth the effort.
The informal style and free use of pictures to illustrate ideas is also a refreshing, and welcome change from the rigid and unnecessarily formal style too often encountered in books on this and similar topics.
Comment Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback. If this review is inappropriate, please let us know.
Sorry, we failed to record your vote. Please try again
2 of 2 people found the following review helpful By Subrata on October 28, 2011
Format: Paperback Verified Purchase
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.
Comment Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback. If this review is inappropriate, please let us know.
Sorry, we failed to record your vote. Please try again

More About the Author

Discover books, learn about writers, read author blogs, and more.