Topology Via Logic
| Use attributes for filter ! | |
| Google books | books.google.com |
|---|---|
| Originally published | June 15, 1989 |
| Authors | Steve Vickers |
| Date of Reg. | |
| Date of Upd. | |
| ID | 2147551 |
About Topology Via Logic
Now in paperback, Topology via Logic is an advanced textbook on topology for computer scientists. Based on a course given by the author to postgraduate students of computer science at Imperial College, it has three unusual features. . . .