Computational Complexity of Logical Theories - C. W. Rackoff - E-bok | Bokus