I had him over the summer. He's a very kind and understanding professor. We got access to BaruchLogic where all the homework is done and that counted for 50% of your grade. The other half was split between the midterm and the final. All the material to read is in BaruchLogic so no textbook. Take the final instead of doing the extra problem sets.