First Page | Document Content | |
---|---|---|
Date: 2009-08-10 10:52:15Mathematics Mathematical logic Computability theory Logic Theory of computation Computable number Structure Computable function Sigma-algebra | A computable axiomatisation of the topology of R and C Paul Taylor 6 August 2009Add to Reading ListSource URL: www.paultaylor.euDownload Document from Source WebsiteFile Size: 306,03 KBShare Document on Facebook |