Logical Methods in Computer Science, Special Issue 20

Special Issue for the "Seventh International Conference on Computability and Complexity in Analysis" [CCA 2010]