Topology via Logic : Cambridge Tracts in Theoretical Computer Science - Steven  Vickers

Topology via Logic

By: Steven Vickers

Paperback | 21 October 1996

At a Glance

Paperback


$92.95

or 4 interest-free payments of $23.24 with

 or 

Aims to ship in 7 to 10 business days

When will this arrive by?
Enter delivery postcode to estimate

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.

More in Mathematical Logic

The Univalence Principle - Benedikt Ahrens

RRP $219.00

$197.25

10%
OFF
Partial Truths : How Fractions Distort Our Thinking - James C. Zimring
Polygraphs : From Rewriting to Higher Categories - Albert  Burroni
Quantum Technology Applications, Impact, and Future Challenges - Mohammad Hammoudeh
Quantum Technology Applications, Impact, and Future Challenges - Mohammad Hammoudeh
Mathematical Intelligence : What We Have that Machines Don't - Junaid Mubeen