Benjamin Levinstein
Prof. Levinstein is very good at conveying the subtleties of formal logic, and provides many different examples and applications of the formal system that we've leaned in class. Fantastic teacher.