Quantification theory - Faris, J. A. (John Acheson) (Monographs in modern logic, 1964)