Recursion Theory: v. 1: Lecture Notes in Logic