Algebraic logic and predicate functors by Willard Van Orman Quine | Lex | Lex