Lawvere's elementary theories and polyadic and cylindric algebras
Volume 66 / 1970
Fundamenta Mathematicae 66 (1970), 307-328
DOI: 10.4064/fm-66-3-307-328