Complexity, logic, and recursion theory | lit.salon