The doctrine of propositions and terms - Prior, A. N. (Duckworth, 1976)