The doctrine of propositions and terms · Study