>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.