Dag Prawitz. A Note on Existential Instantiation. Journal of Symbolic Logic, 32(1):81-82, 1967.
@article{Prawitz67, title = {A Note on Existential Instantiation}, author = {Dag Prawitz}, year = {1967}, researchr = {https://researchr.org/publication/Prawitz67}, cites = {0}, citedby = {0}, journal = {Journal of Symbolic Logic}, volume = {32}, number = {1}, pages = {81-82}, }