Alonzo Church W. V. Quine Some Theorems on Definability and Decidability. 179-187 1952 17 J. Symb. Log. 3 db/journals/jsyml/jsyml17.html#ChurchQ52