Title: Algebraic logic and predicate functors
First published: 1971
Subjects: Functor theory, Logic, Symbolic and mathematical, Predicate calculus, Symbolic and mathematical Logic
LC classification: QA9 .Q53