Recursion Theory and Computational Complexity Lectures Given at a

Lolli - Recursion Theory and Computational Complexity Lectures Given - X555z

The Computational Complexity of Logical Theories by J Ferrante: New

Computational Complexity by Christos Papadimitriou (1993, Trade Paperback)

Theory of Computational Complexity by

Arithmetic, Proof Theory, and Computational Complexity by Clote; Krajicek

Recursion: A Computational Investigation into the Representation and Processing

Algorithmic Complexity: Theory and Practice - A Comprehensive Guide to Understan