From Sets and Types to Topology and Analysis; Towards Practicable Foundations for Constructive Mathematics

Crosilla, Laura; Schuster, Peter (editors)

Verlag: Clarendon Press, Oxford, 2005

Beschreibung

8vo. [7], viii-xix, [2], 2-350, [6] pp. Navy cloth over boards with gold lettering on the boards and the spine, publisher's device in blind on the front board and in gilt on the spine. Volume 48 in the Oxford Logic Guides series. Series editors D.M. Gabbay, A. J. MacIntyre, and D. Scott. As with most volumes in the series, this book was issued without a dust jacket. Based on a workshop of the same title held at Venice International University in 2003, this is a collection of state of the art articles focused on bridging the gap between the foundations and practice of constructive mathematics.Contributors include Peter Aczel, Michael Rathjen, Hiroki Takamura, Giovanni Sambin, Ulrich Berger, and many others. A very attractive copy. Bestandsnummer des Verkäufers 00009917

Bibliografische Details

Titel: From Sets and Types to Topology and Analysis...

Verlag: Clarendon Press, Oxford

Erscheinungsdatum: 2005

Einband: Hardcover

Zustand: Very near Fine

Zustand des Schutzumschlags: Schutzumschlag

Auflage: First edition.