@article{BSL7_2_Sette_Sette, author = {Antonio M. SETTE and J. S. SETTE}, title = {Functorialization of First-Order Language with Finitely Many Predicates}, journal = {Bulletin of the Section of Logic}, volume = {7}, number = {2}, year = {1978}, pages = {97} }