Erika Ábrahám, Andreas Grüner (auth.), Arnold Beckmann, Ulrich Berger, Benedikt Löwe, John V. Tucker (eds.)

Logical Approaches to Computational Barriers: Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006. Proceedings