Book

Complexity, Logic, and Recursion Theory

by Andrea Sorbi, Zuhair Nashed, Earl Taft