Denis Hirschfeldt

• Effective Mathematics of the Uncountable