[FOM] Book Announcement: "From Sets and Types to Topology and Analysis"

[Peter Schuster]

Dear All,

Please allow me to bring to your attention the edition, by Laura Crosilla and 
me, of the volume

"From Sets and Types to Topology and Analysis. Towards Practicable Foundations 
for Constructive Mathematics.", xix+376 pp., Oxford Logic Guides 48, Oxford 
University Press, 2005, ISBN 0-19-856651-4.

For details, including a list of contributions, see

http://www.oup.co.uk/isbn/0-19-856651-4

All the best,

Peter Schuster

Mathematisches Institut, Universitaet Muenchen
http://www.mathematik.uni-muenchen.de/~pschust

---