Arithmetic, Recursion, and Types

For those who have a basic knowledge of mathematical logic and would like to deepen their knowledge of the subject. In particular, this course will focus on the connection between arithmetic and computation.