From Sets and Types to Topology and Analysis

From Sets and Types to Topology and Analysis

Towards Practicable Foundations for Constructive Mathematics

eBook - 2005
Rate this:
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
ISBN: 9786610754038
9781423753100
9780191524202
Branch Call Number: 511.36 Fr
Description: 1 online resource (xix, 350 pages) : illustrations

Opinion

From the critics


Community Activity

Comment

Add a Comment

There are no comments for this title yet.

Age

Add Age Suitability

There are no ages for this title yet.

Summary

Add a Summary

There are no summaries for this title yet.

Notices

Add Notices

There are no notices for this title yet.

Quotes

Add a Quote

There are no quotes for this title yet.

Explore Further

Browse by Call Number

Recommendations

Subject Headings

LibraryThing Series Information


  Loading...

Find it at CRRL

  Loading...
[]
[]
To Top