Effective Mathematics of the Uncountable

Effective Mathematics of the Uncountable

A comprehensive introduction to eight major approaches to computation on uncountable mathematical domains.
Sign up to use