G. LolliBooksLogic Colloquium '82Recursion Theory and Computational ComplexityAuthor data: Open Library