- Types and programming languages
- Computational logic
- Formal methods

- J. Trzeciak's
*Writing Mathematical Papers in English* - D. Margalit's Mathematics Students Resource
- D. B. West on grammar and mathematical style
- C. E. Linderholm's seminal
*Mathematics Made Difficult* - A. Bierce's
*The Devil's Dictionary*(and its natural extension) - Earliest known uses of various mathematical words and symbols
- What is a proof?

*Thu Sep 28 13:04:15 EST 2023
*

*
*