Computability theory by S. B. Cooper | Lex | Lex