<--- Back to Details
| 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 |
Add to Reading List |
| 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 |
Add to Reading List |
A computable axiomatisation of the topology of R and C Paul Taylor 6 August 2009