Doctrine of propositions and terms. - Prior A N (London Duckworth, 1976)