Frederic Brenton Fitch A Minimum Calculus for Logic. 89-94 1944 9 J. Symb. Log. 4 db/journals/jsyml/jsyml9.html#Fitch44a