From: Peter Schuster <pschust@mathematik.uni-muenchen.de>
To: Categories <categories@mta.ca>
Subject: Book Announcement: "From Sets and Types to Topology and Analysis"
Date: Sat, 12 Aug 2006 18:03:21 +0200 (CEST) [thread overview]
Message-ID: <E1GC310-0006J2-KB@mailserv.mta.ca> (raw)
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
---
reply other threads:[~2006-08-12 16:03 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=E1GC310-0006J2-KB@mailserv.mta.ca \
--to=pschust@mathematik.uni-muenchen.de \
--cc=categories@mta.ca \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
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).