ENGLISH

Topology via logic

By Steven Vickers

Book information

Publisher
Cambridge University Press
Year
1989
ISBN
0521360625, 9780521360623
LCC
QA611 .V53 1989
Google Books ID
VvCKDnCrZCgC
Open Library ID
OL2182815M
Language
english
Format
DJVU
Filesize
1 MB (1320203 bytes)
Series
Cambridge tracts in theoretical computer science 5
Pages
211\211
Library
Kolxo3
DPI
300
Orientation
yes
Scanned
no
Time added
2009-07-20 03:45:11
Математика;Топология

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.

Similar books