Hugendubel.de - Das Lesen ist schön

Warenkorb

€ 0,00 0 Buch dabei,
portofrei
Topology Via Logic als Buch
PORTO-
FREI

Topology Via Logic

Revised. Sprache: Englisch.
Buch (kartoniert)
This is an advanced textbook on topology for computer scientists.
Buch

54,99*

inkl. MwSt.
Portofrei
Lieferbar innerhalb von zwei Wochen
Topology Via Logic als Buch
Produktdetails
Titel: Topology Via Logic
Autor/en: Steven Vickers

ISBN: 0521576512
EAN: 9780521576512
Revised.
Sprache: Englisch.
Herausgegeben von C. J. Van Rijsbergen, Samson Abramsky
CAMBRIDGE UNIV PR

Juni 2003 - kartoniert - 220 Seiten

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.

Mehr aus dieser Reihe

zurück
The Hungarian Model: Markets and Planning in a Socialist Economy
Buch (gebunden)
von Xavier Richet, R…
Communications and Power: Propaganda and the Press in the Indian National Struggle, 1920 1947
Buch (gebunden)
von Milton Israel
Rippling: Meta-Level Guidance for Mathematical Reasoning
Buch (gebunden)
von Alan Bundy, Davi…
Term Rewriting Systems
- 9% **
Buch (gebunden)
von Jan Willem Klop,…
Bisher € 231,99
Concurrency Verification: Introduction to Compositional and Non-Compositional Methods
Buch (gebunden)
von Willem-Paul de R…
vor
Servicehotline
089 - 70 80 99 47

Mo. - Fr. 8.00 - 20.00 Uhr
Sa. 10.00 - 20.00 Uhr
Filialhotline
089 - 30 75 75 75

Mo. - Sa. 9.00 - 20.00 Uhr
Bleiben Sie in Kontakt:
Sicher & bequem bezahlen:
akzeptierte Zahlungsarten: Überweisung, offene Rechnung,
Visa, Master Card, American Express, Paypal
Zustellung durch:
* Alle Preise verstehen sich inkl. der gesetzlichen MwSt. Informationen über den Versand und anfallende Versandkosten finden Sie hier.
** im Vergleich zum dargestellten Vergleichspreis.