The Computational Complexity of Logical Theories - J. Ferrante - Övrigt | Bokus