Predicate Calculus with Free Quantifier Variables. - Richmond H. Thomason; D. Randolph Johnson Jr. (J. Symb. Log., 1969)