From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/3395 Path: news.gmane.org!not-for-mail From: Peter Schuster Newsgroups: gmane.science.mathematics.categories Subject: Book Announcement: "From Sets and Types to Topology and Analysis" Date: Sat, 12 Aug 2006 18:03:21 +0200 (CEST) Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed X-Trace: ger.gmane.org 1241019278 8555 80.91.229.2 (29 Apr 2009 15:34:38 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:34:38 +0000 (UTC) To: Categories Original-X-From: rrosebru@mta.ca Sat Aug 12 20:37:34 2006 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Sat, 12 Aug 2006 20:37:34 -0300 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1GC310-0006J2-KB for categories-list@mta.ca; Sat, 12 Aug 2006 20:35:38 -0300 Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 28 Original-Lines: 24 Xref: news.gmane.org gmane.science.mathematics.categories:3395 Archived-At: 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 ---