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 ---