Expressions and Their Structure (Ch 33 of Elementary Intro to Wolfram Language)
wolfram.com
wolfram.com
> The basic concept of symbolic languages comes directly from work in mathematical logic stretching back to the 1930s and before, but other than in the Wolfram Language it’s been very rare for it to be implemented in practice.