Sergei Tupailo Realization of Analysis into Explicit Mathematics. 1848-1864 2001 66 J. Symb. Log. 4 db/journals/jsyml/jsyml66.html#Tupailo01