Easily the best professor I've had. He's a pretty polarizing figure (e.g. half his reviews are 5.0s and half are 2.0s), which I would attribute to his hardline/old-school teaching style. If you have a genuine interest in logics though, he's the best you're gonna find. I could write a whole essay about him but there's a 350 character limit :(