Văn bản này: The typing of mathematics / by Roger Schenkman.