E-mail:
firstname.lastname[at]mcgill.ca
Office:
McConnell Eng. Bldg., Room 225
- 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
