Add Wish List Add to Cart The item has been added From Sets and Types to Topology and Analysis This edited collection bridges the foundations and practice of constructive mathematics and focusses on the contrast between the theoretical developments, which have been most useful for computer... RRP: $454.00 $322.00 Add to Cart The item has been added