...Lawrence University, including a significant amount of logic (propositional and predicate). I have more than two decades of experience tutoring math and logic, including symbolic logic. I also have experience with advanced mathematical logic (formal systems, theories, completeness and soundness ... (read more)