Email Record: Lectures on the logic of computer programming /