Leon Henkin Completeness in the Theory of Types. 81-91 1950 15 J. Symb. Log. 2 db/journals/jsyml/jsyml15.html#Henkin50