From Sets and Types to Topology and Analysis
Towards Practicable Foundations for Constructive MathematicseBook - 2005
Bridging the foundations and practice of constructive mathematics, this text focusses on the contrast between the theoretical developments - which have been most useful for computer science - and more specific efforts on constructive analysis, algebra and topology.
Publisher: Oxford : Clarendon, 2005
Branch Call Number: 511.36 Fr
Description: 1 online resource (xix, 350 pages) : illustrations