TY - BOOK AU - SORBI, ANDREA TI - Complexity, Logic, and Recursion Theory U1 - 511.3 PY - 1997/// CY - New York PB - MARCEL DEKKER KW - MATHEMATICS KW - RECURSION THEORY KW - COMPUTATIONAL COMPLEXITY ER -