Dag Prawitz A Note on Existential Instantiation. 81-82 1967 32 J. Symb. Log. 1 db/journals/jsyml/jsyml32.html#Prawitz67