Sold Out
Book Categories |
This edited collection bridges the foundations and practice of constructive mathematics and focuses on the contrast between the theoretical developments, which have been most useful for computer science (ie: constructive set and type theories), and more specific efforts on constructive analysis, algebra and topology. Aimed at academic logician, mathematicians, philosophers and computer scientists with contributions from leading researchers, it is up to date, highly topical and broad in scope.
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish ListX
This item is in your CollectionFrom sets and types to topology and analysis
X
This Item is in Your InventoryFrom sets and types to topology and analysis
X
You must be logged in to review the productsX
X
X
Add From sets and types to topology and analysis, , From sets and types to topology and analysis to the inventory that you are selling on WonderClubX
X
Add From sets and types to topology and analysis, , From sets and types to topology and analysis to your collection on WonderClub |