Subject: categories: Book Announcement: "From Sets and Types to Topology and Analysis"

From: Peter Schuster <[email-masked]>
Date: Sat, 12 Aug 2006 18:03:21 +0200 (CEST)

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

---