Office: Katharine Reed Cudahy Hall RM 384
Phone: 414-288-5384
Email: wimr{at}mscs.mu.edu
Home Page: http://www.mscs.mu.edu/~wimr

• Theory of Differential Equations
• Calculus
• Logical Seminar

• Constructive Algebra; Symbolic Logic.

• Intuitionistic axiomatizastions for bounded extension Kripke models (with Mohammad Ardeshir and Saeed Salehi), Annals of Pure and Applied Logic 124, pp. 267-285, 2003.
• Simple Axioms that are Obviously True in N, (with T. Polacik), The Review of Modern Logic, 9, 67-79, 2003.