First Page | Document Content | |
---|---|---|
Date: 2009-02-12 12:33:09Theory of computation Computability theory Functions and mappings Recursion Function Computable number Compact space Subspace topology Sierpiński space Topology Mathematics General topology | Computable Real Analysis without Set Theory or Turing Machines Paul Taylor Department of Computer Science University of Manchester UK EPSRC GR/S58522Add to Reading ListSource URL: www.paultaylor.euDownload Document from Source WebsiteFile Size: 334,73 KBShare Document on Facebook |