William Craig Satisfaction for n-th Order Languages Defined in n-th Order Languages. 13-25 1965 30 J. Symb. Log. 1 db/journals/jsyml/jsyml30.html#Craig65