TY  - BOOK
AU  - Crosilla, Schuster
TI  - From Sets and Types to Topology and Analysis
SN  - 9780191713927
PY  - 2007///
PB  - Oxford University PressOxford University Press
UR  - https://academic.oup.com/book/5354
ER  -