Anfonwch hwn fel neges destun: The typing of mathematics / by Roger Schenkman.