"Logical Approaches to Computational Barriers, 2 conf., CiE 2006" - читать интересную книгу автора (Arnold Beckmann, Ulrich Berger, Benedikt Löwe, John V. Tucker)