...I also have experience with advanced mathematical logic (formal systems, theories, completeness and soundness theorems, etc.). I taught discrete (finite) math at Kansas State University. I've also taught introduction to higher mathematics at St. Lawrence University, which included a great deal of finite mathematics. (read more)