Logical Approaches to Computational Barriers: Proc./Second Conference on Computability in Europe, CiE 2006. Swansea, UK, June/July 2006

Б2.1, Б2.2.

Logical Approaches to Computational Barriers: Proc./Second Conference on Computability in Europe, CiE 2006. Swansea, UK, June/July 2006Ed. by Beckmann A., Berger U., Loewe B., Tucker J. V..-Berlin, Heidelberg.: Springer, 2006.-Vol. 3988.-608 p.-(Lecture Notes in Computer Science).