Complexity, Logic, and Recursion Theoryby Andrea Sorbi, Zuhair Nashed, Earl TaftRecursion theoryLogicWriting a summary for young readers…For young readersBook data: Open Library