Email Record: Formal systems and recursive functions /