Logical Approaches To Computational Barriers door Arnold Beckmann