>Quine is ponderous. No kidding. I tried to learn predicate logic by reading his works (mainly Methods of Logic). I wanted to throw his books across the room

>Quine is ponderous. No kidding. I tried to learn predicate logic by reading his works (mainly Methods of Logic). I wanted to throw his books across the room. I made it, but comparing his treatment of the completeness and compactness theorems with Tao's treatment was enlightening (and infuriating). It's as though Quine worked hard at being obscure.