Studies in the logic of existence-statements - Friedman, Howard R. (The University of Edinburgh, 1968)