Some recent results of Ax
have made possible greatly simplified demonstrations of Liouville’s basic
results on the elementary integration of functions and the elementary solution
of transcendental equations, together with their generalizations in various
directions. An essentially self-contained exposition of this material is given
here.