Email Record: An introduction to mathematical logic and type theory :