Steven Vickers: Topology Via Logic

Cover: 9780521576512 | Topology Via Logic | Steven Vickers | Taschenbuch | Paperback | 2003

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

68,10 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Aktuell nicht verfügbar

Kategorien:

Der Artikel ist nicht in deutscher Sprache verfasst.
Die Sprache der Produktbeschreibung und Details kann in Englisch angegeben sein. Sollten Sie Verständnisprobleme haben, wenden Sie sich gerne an uns.

Beschreibung

This is an advanced textbook on topology for computer scientists.

Inhaltsverzeichnis

1. Introduction; 2. Affirmative and refutative assertions; 3. Frames; 4. Frames as algebras; 5. Topology: the definitions; 6. New topologies for old; 7. Point logic; 8. Compactness; 9. Spectral algebraic locales; 10. Domain theory; 11. Power domains; 12. Spectra of rings; Bibliography.

Details

Erscheinungsjahr:	2003
Genre:	Informatik
Rubrik:	Naturwissenschaften & Technik
Medium:	Taschenbuch
ISBN-13:	9780521576512
ISBN-10:	0521576512
Sprache:	Englisch
Ausstattung / Beilage:	Paperback
Einband:	Kartoniert / Broschiert
Autor:	Vickers, Steven
Redaktion:	Rijsbergen, C. J. van
Hersteller:	Cambridge University Press
Maße:	246 x 189 x 13 mm
Von/Mit:	Steven Vickers
Erscheinungsdatum:	09.06.2003
Gewicht:	0,436 kg

Artikel-ID: 102525119

Inhaltsverzeichnis

Details

Erscheinungsjahr:	2003
Genre:	Informatik
Rubrik:	Naturwissenschaften & Technik
Medium:	Taschenbuch
ISBN-13:	9780521576512
ISBN-10:	0521576512
Sprache:	Englisch
Ausstattung / Beilage:	Paperback
Einband:	Kartoniert / Broschiert
Autor:	Vickers, Steven
Redaktion:	Rijsbergen, C. J. van
Hersteller:	Cambridge University Press
Maße:	246 x 189 x 13 mm
Von/Mit:	Steven Vickers
Erscheinungsdatum:	09.06.2003
Gewicht:	0,436 kg