Infinity in Logic and Computation: International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers

Handbook of Computability and Complexity in Analysis

Computability and Complexity in Analysis: 4th International Workshop, CCA 2000, Swansea, UK, September 17-19, 2000. Selected Papers