Topology via Logic
by Steven VickersC. J. van Rijsbergen (Contribution by)S. Abramsky (Contribution by)P. H. Aczel (Contribution by)Y. Gurevich (Contribution by)J. V. Tucker (Contribution by)J. W. De Bakker (Contribution by)
Format: Paperback
ISBN13: 9780521576512
Paperback|9780521576512
✨ Featured Offer
Brand New
$71.36
List Price: $61.99
🚚
See all 5 offers from $63.52 FREE standard delivery by: 01 Apr 2026
Overview
Now in paperback, Topology via Logic is an advanced textbook on topology for computer scientists. Based on a course given by the author to postgraduate students of computer science at Imperial College, it 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 methods of locale theory are freely exploited. Third, there is substantial discussion of some computer science applications. Although books on topology aimed at mathematics exist, no book has been written specifically for computer scientists. 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.
| ISBN-13 | 9780521576512 |
|---|---|
| ISBN-10 | 0521576512 |
| Weight | 1.26 Pounds |
| Dimensions | 7.44 x 0.50 x 9.69 In |
| List Price | $61.99 |
| Edition | 1st Edition |
| Format | Paperback |
|---|---|
| Language | English |
| Pages | 220 pages |
| Publisher | Cambridge University Press |
| Published On | 1996-08-22 |
View All Offers
Sort by:
Price
Condition
Seller
Seller Comments
Price
Used, Good
Seller details
BooksRun
Philadelphia, PA, USA
It's a preowned item in good condition and includes all the pages. It may have some general signs ...
Free delivery by: 01 Apr 2026
✨ Brand New
Seller details
Alibris
Sparks, NV, USA
Print on demand Trade paperback (US). Contains: Line drawings, Unspecified. Cambridge Tracts in The...
Free delivery by: 01 Apr 2026
Brand New
Seller details
GreatBookPrices-
Columbia, MD, USA
100% Money Back Guarantee. Brand New, Perfect Condition. We offer expedited shipping to all US locat...
Free delivery by: 01 Apr 2026
Used, Good
Seller details
Bonita
Santa Clarita, CA, USA
Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Free delivery by: 01 Apr 2026
Brand New
Seller details
Bonita
Santa Clarita, CA, USA
Free delivery by: 01 Apr 2026