From Sets and Types to Topology and Analysis; Towards Practicable Foundations for Constructive Mathematics
Oxford: Clarendon Press, 2005. First edition. Hardcover. 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. Very near Fine. Item #00009917
Price: $150.00