أرسل هذا في رسالة قصيرة: The typing of mathematics / by Roger Schenkman.