عنوان
پدید آورنده
موضوع
رده
QA 611 .V53 1989
QA
611
.
V53
1989
کتابخانه
محل استقرار
Topology via logic
Cambridge ]England[ ; New York
Cambridge University Press
1989
200 p. : ill. ; 26 cm.
Cambridge tracts in theoretical computer science ;5
Includes index
Bibliography: p. ]191[-195
Steven Vickers
، Topology
514
QA
611
.
V53
1989
Vickers, Steven.
AU
TI
SE
