M. K. Rennie

• Logic: theory and practice
• Some uses of type theory in the analysis of language