Abstract
E. J. LEMMON; QUANTIFIER RULES AND NATURAL DEDUCTION, Mind, Volume LXX, Issue 278, 1 April 1961, Pages 235–238, https://doi.org/10.1093/mind/LXX.278.235