Frederic Brenton Fitch The Consistency of the Ramified Principia. 140-149 1938 3 J. Symb. Log. 4 db/journals/jsyml/jsyml3.html#Fitch38