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

Crosilla, Laura; Schuster, Peter (editors)

Published by Clarendon Press, Oxford, 2005

About this Item

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. Seller Inventory # 00009917

Bibliographic Details

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

Publisher: Clarendon Press, Oxford

Publication Date: 2005

Binding: Hardcover

Condition: Very near Fine

Dust Jacket Condition: Dust Jacket Included

Edition: First edition.