Seol mar théacs é seo: The typing of mathematics / by Roger Schenkman.