Topology Via Logic (Cambridge Tracts in Theoretical Computer Science)

Topology Via Logic (Cambridge Tracts in Theoretical Computer Science)

  • ただいまウェブストアではご注文を受け付けておりません。 ⇒古書を探す
  • 製本 Hardcover:ハードカバー版/ページ数 160 p.
  • 言語 ENG
  • 商品コード 9780521360623
  • DDC分類 514

基本説明

New in paperback. Hardcover was published in 1988.

Table of Contents

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.