Topology via logic. Steven Vickers.
Material type:
TextPublication details: Cambridge [England] ; New York : Cambridge University Press, 1989.Description: 200 p. : illSubject(s):
| Item type | Current library | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
Books
|
Department of Mathematics | 515.12 VIC (Browse shelf(Opens below)) | 1 | Available | MAT05400 |
Browsing Department of Mathematics shelves Close shelf browser (Hides shelf browser)
|
No cover image available | No cover image available | No cover image available |
|
No cover image available | No cover image available | ||
| 515.12 THO Topology and its applications : | 515.12 THR Proceedings of the national seminar on topology, category theory and their application to computer science. | 515.12 VAI Set topology. | 515.12 VIC Topology via logic. | 515.12 VIR Elementary topology : | 515.12 WHY Dynamic topology / | 515.12 WHY Analytic topology / |
Includes index.
There are no comments on this title.