* Book Announcement: "From Sets and Types to Topology and Analysis"
@ 2006-08-12 16:03 Peter Schuster
0 siblings, 0 replies; only message in thread
From: Peter Schuster @ 2006-08-12 16:03 UTC (permalink / raw)
To: Categories
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
---
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2006-08-12 16:03 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2006-08-12 16:03 Book Announcement: "From Sets and Types to Topology and Analysis" Peter Schuster
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).