Topology via logic

• Main Author: Vickers, Steven
• Format: Book
• Language: English
• Published: Cambridge [England] New York Cambridge University Press 1996
• Series: Cambridge tracts in theoretical computer science 5
• Subjects: Επιστήμη των υπολογιστών > Μαθηματικά; Λογική; Τοπολογία
• Item Description: Includes bibliography and index
• Physical Description: 200 p. fig. 26 cm.
• ISBN: 0521576512