Book

Logical approaches to computational barriers

by Arnold Beckmann, Ulrich Berger, Benedikt Löwe