Title: Lectures on a mathematical theory of computation