Title: General Recursion Theory
Subjects: Logic, symbolic and mathematical