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: |
Similar Items
-
Logic for computer science
by: Reeves, Steve, et al.
Published: (1990) -
Mathematical structures for computer science
by: Gersting, Judith L.
Published: (1999) -
Mathematical logic for computer science
by: Mordechai, Ben-Ari
Published: (2001) -
Logic and discrete mathematics a computer science perspective
by: Grassmann, Winfried Karl
Published: (1996) -
Structures in logic and computer science a selection of essays in honor of A. Ehrenfeucht
Published: (1997)