- Types and programming language theory
- 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
- A. Bierce's
*The Devil's Dictionary*(and its natural extension) - Earliest known uses of various mathematical words and symbols
- What is a proof?

*Tue Mar 15 10:35:15 EST 2022
*

*
*