Topology via logic

• Κύριος συγγραφέας: Vickers, Steven
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: Cambridge [England] New York Cambridge University Press 1996
• Σειρά: Cambridge tracts in theoretical computer science 5
• Θέματα: Επιστήμη των υπολογιστών > Μαθηματικά; Λογική; Τοπολογία
• Περιγραφή τεκμηρίου: Includes bibliography and index
• Φυσική περιγραφή: 200 p. fig. 26 cm.
• ISBN: 0521576512