Thomas E. Patton. A system of quantificational deduction. Notre Dame Journal of Formal Logic, 4(2):105-112, 1963. [doi]
@article{Patton63-0,
title = {A system of quantificational deduction},
author = {Thomas E. Patton},
year = {1963},
doi = {10.1305/ndjfl/1093957501},
url = {http://dx.doi.org/10.1305/ndjfl/1093957501},
researchr = {https://researchr.org/publication/Patton63-0},
cites = {0},
citedby = {0},
journal = {Notre Dame Journal of Formal Logic},
volume = {4},
number = {2},
pages = {105-112},
}