The doctrine of propositions and terms / A. N. Prior. Amherst : Univ. of Massachusetts Press, 1976