论文部分内容阅读
This article focuses attention on the specification of language expressions in order to express statements having a truth value.Each specified expression(=value expression)introduced can be derived by adding a specification to an expression of the natural