Lawvere's elementary theories and polyadic and cylindric algebras Aubert Daigenault (1970) Fundamenta Mathematicae