Quantification Theory - J. A. Faris (Taylor and Francis, 1964)