Description

Book Synopsis
This is an advanced textbook on topology for computer scientists. It is based on a course given by the author to postgraduate students of computer science at Imperial College.

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.

Topology via Logic

Product form

£47.99

Includes FREE delivery

Order before 4pm tomorrow for delivery by Wed 17 Dec 2025.

A Paperback by Steven Vickers

15 in stock


    View other formats and editions of Topology via Logic by Steven Vickers

    Publisher: Cambridge University Press
    Publication Date: 8/22/1996 12:00:00 AM
    ISBN13: 9780521576512, 978-0521576512
    ISBN10: 0521576512

    Description

    Book Synopsis
    This is an advanced textbook on topology for computer scientists. It is based on a course given by the author to postgraduate students of computer science at Imperial College.

    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.

    Recently viewed products

    © 2025 Book Curl

      • American Express
      • Apple Pay
      • Diners Club
      • Discover
      • Google Pay
      • Maestro
      • Mastercard
      • PayPal
      • Shop Pay
      • Union Pay
      • Visa

      Login

      Forgot your password?

      Don't have an account yet?
      Create account