<logic> A generalized form of Goedel numbering in which distinct numerals Are assigned to distinct symbols in the alphabet of a formal language. As a result every wff of the language can be re-expressed as a Numeral concatenating all the numerals for its component symbols). When done well, there can easily be an effective method for translating wffs into numerals and vice versa.
[Glossary of First-Order Logic]
Try this search on OneLook / Google