The doctrine of propositions and terms - Prior, Arthur N. 1914-1969 (Duckworth, 1976)