David Nelson Constructible Falsity. 16-26 1949 14 J. Symb. Log. 1 db/journals/jsyml/jsyml14.html#Nelson49