D. Randolp Johnson

Bibliography

Thomason, Richmond H. and Johnson, D. Randolp. 1969. “Predicate Calculus with Free Quantifier Variables.” The Journal of Symbolic Logic 34: 1–7.