This document is unfortunately not available for download at the moment.
Robert L. Arrington, Peter M. Burkholder , Shannon Dubose , John Sallis (1967) Philosophical logic, Dordrecht, Springer.
On the use and interpretation of logical symbols
Harold N. Lee
pp. 111-122
Not implemented yet !