On the Remarkable Features of Binding Forms

Fabio Mogavero, Giuseppe Perelli

Hilbert's Entscheidungsproblem has given rise to a broad and productive line of research in mathematical logic, where the classification process of decidable classes of first-order…