A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is
Logic for Mathematical Writing
Logic Journal of the IGPL
In the School of Mathematical Sciences at Queen Mary in the University of London we have been running a module that teaches the students to write good mathematical English. The module is for second-year undergraduates and has been running for three years. It is based on logic, but the logic-though mathematically precise-is informal and doesn't use logical symbols. Some theory of definitions is taught in order to give a structure for mathematical descriptions, and some natural deduction rulesdoi:10.1093/jigpal/jzm022 fatcat:uq5ajhclt5aovoow7xp6ozacpm