Vickers Steven
Topology via logic
Vickers Steven
- Cambridge Cambridge University Press 1989
- 200p
- Cambridge tracts in theoretical computer science; 6 .
Bibliography 191-195p; Index 196-200p
0521576512 (pbk)
4888
Selectbook, Textual
Analysis
Topology and Logic
Mathematics
B3160aR4, M9