Topology via Logic (Cambridge Tracts in Theoretical Computer

Condition - Very Good
The item shows wear from consistent use, but it remains in good condition and functions properly. Item may arrive with damaged packaging or be repackaged. It may be marked, have identifying markings on it, or have minor cosmetic damage. It may also be missing some parts/accessories or bundled items.

Topology via Logic (Cambridge Tracts in Theoretical Computer Science)

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.

Country	USA
Author	Steven Vickers
Binding	Paperback
Brand	Brand: Cambridge University Press
EAN	9780521576512
Feature	Used Book in Good Condition
IsAdultProduct	0
ISBN	0521576512
IsEligibleForTradeIn	1
Label	Cambridge University Press
Manufacturer	Cambridge University Press
NumberOfItems	1
NumberOfPages	220
PublicationDate	1996-09-13
Publisher	Cambridge University Press
Studio	Cambridge University Press
ReleaseDate	0000-00-00

Topology via Logic (Cambridge Tracts in Theoretical Computer Science)