Algebraic logic and predicate functors - Quine, W. V. 1908-2000 (Bobbs-Merrill, 1971)